Sciweavers

2414 search results - page 125 / 483
» Reasoning Support for OWL-E
Sort
View
WWW
2009
ACM
16 years 6 months ago
C-SPARQL: SPARQL for continuous querying
C-SPARQL is an extension of SPARQL to support continuous queries over RDF data streams. Supporting streams in RDF format guarantees interoperability and opens up important applica...
Davide Francesco Barbieri, Daniele Braga, Stefano ...
KBSE
2008
IEEE
16 years 8 days ago
MTSA: The Modal Transition System Analyser
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
Nicolás D'Ippolito, Dario Fischbein, Marsha...
DIS
2003
Springer
15 years 11 months ago
Scilog: A Language for Scientific Processes and Scales
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
Joseph Phillips
IESS
2009
Springer
131views Hardware» more  IESS 2009»
15 years 10 months ago
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
Jeferson L. R. Souza, José Rufino
AAAI
2007
15 years 8 months ago
Extending Cognitive Architecture with Episodic Memory
In this paper, we explore the hypothesis that episodic memory is a critical component for cognitive architectures that support general intelligence. Episodic memory overlaps with ...
Andrew Nuxoll, John E. Laird