130 search results - page 20 / 26 » The Semantics of Scheme Control-Flow Analysis |
107
click to vote
JTRES
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes hardware methods, a lightweight and platform-independent scheme for linking real-time Java code to co-processors implemented using a hardware description lang...
ACSW
2004
14 years 11 months ago
2004
Ontologies represent a method of formally expressing a shared understanding of information, and have been seen by many authors as a prerequisite for the "Semantic web". ...
SEMCO
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
111
click to vote
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
CIVR
2007
Springer
15 years 3 months ago
2007
Springer
Though both quantity and quality of semantic concept detection in video are continuously improving, it still remains unclear how to exploit these detected concepts as semantic ind...