2296 search results - page 297 / 460 » The Expressive Power of Synchronizations |
176
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
243
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
208
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operate...
161
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...