Sciweavers

2014 search results - page 305 / 403
» Intelligent Transportation System (ITS)
Sort
View
IWSOS
2007
Springer
14 years 3 months ago
Automated Trust Negotiation in Autonomic Environments
Autonomic computing environments rely on devices that are able to make intelligent decisions without human supervision. Automated Trust Negotiation supports the cooperation of devi...
Andreas Klenk, Frank Petri, Benoit Radier, Mika&eu...
KI
2007
Springer
14 years 3 months ago
Any-World Access to OWL from Prolog
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
Tobias Matzner, Pascal Hitzler
LFCS
2007
Springer
14 years 3 months ago
A Decidable Temporal Logic of Repeating Values
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
Stéphane Demri, Deepak D'Souza, Régi...
CIMCA
2005
IEEE
14 years 2 months ago
Canonical Sequence Directed Tactics Analyzer for Computer Go Games
We present an approach used in CSDTA (Canonical Sequence Directed Tactics Analyzer) that uses canonical sequences (Joseki) in hoping to improve computer Go programs. We collect 12...
Chung-Chih Li, Hikyoo Koh
IQIS
2005
ACM
14 years 2 months ago
Data quality inference
In the field of sensor networks, data integration and collaboration, and intelligence gathering efforts, information on the quality of data sources are important but are often not...
Raymond K. Pon, Alfonso F. Cardenas