Sciweavers

642 search results - page 58 / 129
» A Semantic Future for AI
Sort
View
LOGCOM
2010
128views more  LOGCOM 2010»
13 years 4 months ago
Comparing LTL Semantics for Runtime Verification
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
WWW
2006
ACM
14 years 10 months ago
DoNet: a semantic domotic framework
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
Malcolm Attard, Matthew Montebello
AIME
2007
Springer
14 years 4 months ago
Using Semantic Web Technologies for Knowledge-Driven Querying of Biomedical Data
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Cs...
JSAC
2007
107views more  JSAC 2007»
13 years 9 months ago
DESENT: decentralized and distributed semantic overlay generation in P2P networks
Abstract— The current approach in web searching, i.e., centralized search engines, rises issues that question their future applicability: 1) coverage and scalability, 2) freshnes...
Christos Doulkeridis, Kjetil Nørvåg, ...
WWW
2004
ACM
14 years 10 months ago
Web Agent's Enclaves - A New Opportunity for the Semantic Web Services
The paper presents an idea about joint use some of new technologies such as the Semantic Web, Web services and Web agents together with an already existing concept. It is a concep...
Violeta Damjanovic, Dragan Gasevic, Vladan Devedzi...