Sciweavers

7452 search results - page 1277 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
APNOMS
2006
Springer
15 years 10 months ago
Delivery and Storage Architecture for Sensed Information Using SNMP
Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and applic...
Deokjai Choi, Hongseok Jang, Kugsang Jeong, Punghy...
APWEB
2006
Springer
15 years 10 months ago
An RDF Storage and Query Framework with Flexible Inference Strategy
In the Semantic Web, RDF (Resource Description Framework) and RDF Schema are commonly used to describe metadata. There are a great many RDF data in current web, therefore, efficien...
Wennan Shen, Yuzhong Qu
ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
15 years 10 months ago
Synthesis for Probabilistic Environments
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
Sven Schewe
CSMR
2004
IEEE
15 years 10 months ago
Using History Information to Improve Design Flaws Detection
1 As systems evolve and their structure decays, maintainers need accurate and automatic identification of the design problems. Current approaches for automatic detection of design...
Daniel Ratiu, Stéphane Ducasse, Tudor G&ici...
CLEF
2006
Springer
15 years 10 months ago
Inter-media Concept-Based Medical Image Indexing and Retrieval with UMLS at IPAL
Abstract. We promote the use of explicit medical knowledge to solve retrieval of information both visual and textual. For text, this knowledge is a set of concepts from a Meta-thes...
Caroline Lacoste, Jean-Pierre Chevallet, Joo-Hwee ...
« Prev « First page 1277 / 1491 Last » Next »