Sciweavers

2474 search results - page 236 / 495
» Kitchen of the Future and Applications
Sort
View
JAPLL
2010
126views more  JAPLL 2010»
15 years 1 months ago
Justification logics and hybrid logics
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
Melvin Fitting
TITS
2010
128views Education» more  TITS 2010»
15 years 1 months ago
Creating Enhanced Maps for Lane-Level Vehicle Navigation
Abstract--The concept of enhanced maps (Emaps) was introduced with one main objective: It should characterize roads, first, with more completeness and, second, with more accuracy t...
David Bétaille, Rafael Toledo-Moreo
WD
2010
15 years 1 months ago
Mobility-aware peer-to-peer live-streaming
Application Layer Multicast (ALM) has become a popular form of content distribution. It shows some favourable properties like inherent scalability and the overcoming of the traditi...
Markus Trapp, Mathias Fischer, Guenter Schaefer
AO
2011
154views more  AO 2011»
15 years 1 months ago
MIREOT: The minimum information to reference an external ontology term
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
Mélanie Courtot, Frank Gibson, Allyson L. L...
ICASSP
2011
IEEE
14 years 10 months ago
Accelerating standards and measurements for the smart grid
The National Institute of Standards and Technology (NIST) has efforts underway to accelerate the international development of interoperability standards to support the future mode...
D. A. Wollman