2696 search results - page 222 / 540 » Semantic Abstraction and Anaphora |
183
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
199
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
163
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
171
click to vote
ESWS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Social networks have recently attracted much attention for their importance to the Semantic Web. Several methods exist to extract social networks for people (particularly...
180
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...