Sciweavers

543 search results - page 74 / 109
» Argumentation Using Temporal Knowledge
Sort
View
JAIR
2007
159views more  JAIR 2007»
13 years 7 months ago
Combination Strategies for Semantic Role Labeling
This paper introduces and analyzes a battery of inference models for the problem of semantic role labeling: one based on constraint satisfaction, and several strategies that model...
Mihai Surdeanu, Lluís Màrquez, Xavie...
CCS
2008
ACM
13 years 9 months ago
A practical mimicry attack against powerful system-call monitors
System-call monitoring has become the basis for many hostbased intrusion detection as well as policy enforcement techniques. Mimicry attacks attempt to evade system-call monitorin...
Chetan Parampalli, R. Sekar, Rob Johnson
LFCS
2009
Springer
14 years 2 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
ICFCA
2009
Springer
14 years 2 months ago
The Advent of Formal Diagrammatic Reasoning Systems
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
Frithjof Dau
ICRA
2007
IEEE
164views Robotics» more  ICRA 2007»
14 years 2 months ago
Real Time Biologically-Inspired Depth Maps from Spherical Flow
— We present a strategy for generating real-time relative depth maps of an environment from optical flow, under general motion. We achieve this using an insect-inspired hemisphe...
Chris McCarthy, Nick Barnes, Mandyam Srinivasan