Sciweavers

4767 search results - page 904 / 954
» Structures for Abstract Rewriting
Sort
View
ICGI
2004
Springer
14 years 2 months ago
Identifying Clusters from Positive Data
The present work studies clustering from an abstract point of view and investigates its properties in the framework of inductive inference. Any class S considered is given by a hyp...
John Case, Sanjay Jain, Eric Martin, Arun Sharma, ...
ICWE
2004
Springer
14 years 2 months ago
Authoring and Dynamic Generation of Adaptive E-courses
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
Rosa M. Carro, Manuel Freire, Estefanía Mar...
IFIP
2004
Springer
14 years 2 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
INEX
2004
Springer
14 years 2 months ago
Hybrid XML Retrieval Revisited
Abstract. The widespread adoption of XML necessitates structureaware systems that can effectively retrieve information from XML document collections. This paper reports on the par...
Jovan Pehcevski, James A. Thom, Seyed M. M. Tahagh...
OOPSLA
2004
Springer
14 years 2 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed