3515 search results - page 208 / 703 » On the semantics of Strategy Logic |
210
click to vote
DLOG
2010
15 years 5 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
180
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
High-level semantic understanding of vehicle motion behaviors is often based on vehicle motion trajectory clustering. In this paper, we propose an effective trajectory clustering ...
212
click to vote
IJBRA
2010
15 years 5 months ago
2010
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...
212
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
198
click to vote
ICTCS
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...