7452 search results - page 358 / 1491 » A Semantics for Multiprocessor Systems |
176
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a methodology for semantic understanding of complex and continued human activities. A context-free grammar (CFG) based representation scheme developed earlier ...
190
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
Geo-temporal criteria are important for filtering, grouping and prioritizing information resources. This presents techniques for extracting semantic geo-temporal information from ...
202
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
165
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
We describe a system for automatic annotation of English text in the FrameNet standard. In addition to the conventional annotation of frame elements and their semantic roles, we a...
210
Voted
FAST
2009
15 years 4 months ago
2009
Provenance records the history of data. Careless use of provenance may violate the security policies of data. Moreover, the provenance itself may be sensitive information, necessi...