Sciweavers

2525 search results - page 325 / 505
» A Framework for Semantic Gossiping
Sort
View
CADE
2003
Springer
16 years 6 months ago
Source-Tracking Unification
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
Venkatesh Choppella, Christopher T. Haynes
CIVR
2009
Springer
169views Image Analysis» more  CIVR 2009»
16 years 20 days ago
Exploiting contextual data for event retrieval in surveillance video
Contextual information is vital for the robust extraction of semantic information in automated surveillance systems. We have developed a scene independent framework for the detect...
Philip Kelly, Ciarán O. Conaire, Noel E. O'...
FCT
2007
Springer
16 years 8 days ago
Rewriting Systems with Data
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Miha...
MHCI
2007
Springer
16 years 7 days ago
Mobile interaction with web services through associated real world objects
The proposed demonstration is based on the work performed in the PERCI project and presents a generic framework to access and interact with Web Services through mobile interaction...
Gregor Broll, John Hamard, Massimo Paolucci, Marku...
MIS
2005
Springer
152views Multimedia» more  MIS 2005»
15 years 11 months ago
Intelligent Delivery of Multimedia Content in a Device Aware Ubiquitous Environment
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
Conor Muldoon, Gregory M. P. O'Hare, Rem W. Collie...