2586 search results - page 440 / 518 » Automatic Abstraction for Congruences |
109
click to vote
SECON
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--EcoExec is a host-assisted interactive execution environment for wireless sensing systems. Users can interact with sensor nodes by viewing attributes and invoking functio...
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...
105
click to vote
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Ontologies underpin the semantic web; they define the concepts and their relationships contained in a data source. An increasing number of ontologies are available on-lin...
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Clinical trials are fundamental for medical science: they provide the evaluation for new treatments and new diagnostic approaches. One of the most difficult parts of clin...
112
click to vote
SSPR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In order to use structural techniques from graph-based pattern recognition, a first necessary step consists in extracting a graph in an automatic way from an image. We pr...