1414 search results - page 155 / 283 » Combining Intruder Theories |
136
click to vote
ACL
2010
15 years 4 months ago
2010
The emergence of social media brings chances, but also challenges, to linguistic analysis. In this paper we investigate a novel problem of discovering patterns based on emotion an...
176
click to vote
FUIN
2010
15 years 3 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
169
click to vote
CDC
2010
IEEE
15 years 29 days ago
2010
IEEE
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
137
click to vote
COLING
2010
15 years 28 days ago
2010
We present a new method, based on graph theory, for bilingual lexicon extraction without relying on resources with limited availability like parallel corpora. The graphs we use re...
170
click to vote
JAPLL
2010
15 years 22 days ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...