4166 search results - page 476 / 834 » Automating the constraining process |
174
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
172
click to vote
AIME
2009
Springer
15 years 11 months ago
2009
Springer
Note taking is a common way for physicians to collect information from their patients in medical inquiries and diagnoses. Many times, when describing the pathology in medical recor...
141
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
154
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...
110
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Tools for automatic image understanding for managing operator workloads are essential. One common task for image analysts is the scanning large collections of real-time images loo...