9873 search results - page 348 / 1975 » Emergent Semantics Systems |
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...
209
click to vote
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...
168
Voted
ASSETS
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes progress toward a prototype implementation of a tool which aims to improve literacy in deaf high school and college students who are native (or near native) s...