The development of very powerful intelligent information systems requires the use of many techniques best derived by studying human understanding methods. RESEARCHER is a system that reads, remembers, generalizes from, and answers questions about complex technical texts, patent abstracts in particular. In this paper we discuss three current areas of research involving RESEARCHER the generalizat...

In a Web 3.0 perspective, web sites and portals require design elements that make them executable environments (following W.L. Hoschs layering: read-only Web 1.0 readwrite Web 2.0 read-write-execute Web 3.01). A number of interface and software components have been implemented for providing such elements, with various appraisals with respect to their effectiveness in interaction and communicati...

Logic Programming is the proposal to implement systems using mathematical logic. Perhaps the first published proposal to use mathematical logic for programming was John McCarthy’s Advice Taker paper. Planner was the first language to feature ''procedural plans'' that were called by ''pattern-directed invocation'' using ''goals'' and ''assertions''. A subset called Micro Planner was implemented ...

A fundamental research theme in distributed computing is the comparison of systems in terms of their ability to solve basic problems such as consensus that cannot be solved in completely asynchronous systems. In particular, in a seminal work [?], Herlihy compares shared-memory systems in terms of the shared objects that they have: he proved that there are shared objects that are powerful enough...

Solutions to the classic problems of dealing with heterogeneous data and making entire collections interoperable while ensuring that any annotation, which includes the recognition-and-reward system of scientific publishing, need to fit into a seamless beginning to end to attract large numbers of end users. The latest trend in Web applications encourages highly interactive Web sites with rich us...

3 4 for (n = 0 ; n < nt ; n++) // l oop on c o l s 5 for (m = 0 ; m < mt ; m++) // l oop on rows 6 s t a r pu ma t r i x da t a r e g i s t e r (& t i l e h a nd l e [m] [ n ] , 0 , 7 &t i l e [m] [ n ] , M, M, N, s izeof ( f loat ) ) ; Figure 3: Registration of the tiles as handles of matrix data type. Initialization. When initializing StarPU with starpu_init, StarPU automatically detects the ...

ion level subject issue user: ins(ert), del(ete) update sequence, optimization # applied to database system: add, remove transaction, correctness of applied to (ut;mt) translation, execution Figure 1: Uservs. system-view of updates on marked databases. undergo optimization. Once optimized, update sequences are translated into transactions, which are to be executed by the system; this view of th...