Sciweavers

1056 search results - page 36 / 212
» Identifying and Exploiting Ultrametricity
Sort
View
CVPR
2011
IEEE
14 years 9 months ago
Learning to Find Occlusion Regions
For two consecutive frames in a video, we identify which pixels in the first frame become occluded in the second. Such general-purpose detection of occlusion regions is difficul...
Ahmad Humayun, Oisin Mac Aodha, Gabriel Brostow
ACL
2011
14 years 5 months ago
Which Noun Phrases Denote Which Concepts?
Resolving polysemy and synonymy is required for high-quality information extraction. We present ConceptResolver, a component for the Never-Ending Language Learner (NELL) (Carlson ...
Jayant Krishnamurthy, Tom Mitchell
ACL
2012
13 years 4 months ago
DOMCAT: A Bilingual Concordancer for Domain-Specific Computer Assisted Translation
In this paper, we propose a web-based bilingual concordancer, DOMCAT 1 , for domain-specific computer assisted translation. Given a multi-word expression as a query, the system in...
Ming-Hong Bai, Yu-Ming Hsieh, Keh-Jiann Chen, Jaso...
CADE
2012
Springer
13 years 4 months ago
Playing Hybrid Games with KeYmaera
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
Jan-David Quesel, André Platzer
148
Voted
APSCC
2008
IEEE
15 years 3 months ago
Contract-Based Security Monitors for Service Oriented Software Architecture
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
Alexander M. Hoole, Issa Traoré