Sciweavers

4814 search results - page 803 / 963
» Combining abstract interpreters
Sort
View
ECIR
2007
Springer
13 years 11 months ago
Using Topic Shifts for Focussed Access to XML Repositories
Abstract. In focussed XML retrieval, a retrieval unit is an XML element that not only contains information relevant to a user query, but also is specific to the query. INEX defin...
Elham Ashoori, Mounia Lalmas
VAMOS
2010
Springer
13 years 11 months ago
Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
Roberto E. Lopez-Herrejon, Alexander Egyed, Salvad...
HCI
2007
13 years 11 months ago
Media Service Mediation Supporting Resident's Collaboration in ubiTV
Abstract. A smart home is an intelligent and shared space, where various services coexist and multiple residents with different preferences and habits share these services most of ...
Choonsung Shin, Hyoseok Yoon, Woontack Woo
HCI
2007
13 years 11 months ago
An Agent-Based Framework for Context-Aware Services
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
Axel Bürkle, Wilmuth Müller, Uwe Pfirrma...
HCI
2007
13 years 11 months ago
Augmenting Cognition: Reviewing the Symbiotic Relation Between Man and Machine
Abstract. One of the goals of augmented cognition is creation of adaptive human-machine collaboration that continually optimizes performance of the human-machine system. Augmented ...
Tjerk de Greef, Kees van Dongen, Marc Grootjen, Ja...