2478 search results - page 423 / 496 » Quadtrees as an Abstract Domain |
JELIA
2010
Springer
13 years 7 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
PAAMS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Smart environments include context-aware computing to enhance system capabilities which affect user interaction positively. A context-aware application should collect con...
SAFECOMP
2010
Springer
13 years 7 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
SECON
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--This paper investigates the potential of the compressed sensing (CS) paradigm for video streaming in Wireless Multimedia Sensor Networks. The objective is to co-design a ...
SEMWEB
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Semantic similarity and relatedness measures between ontology concepts are useful in many research areas. While similarity only considers subsumption relations to assess ...