9503 search results - page 245 / 1901 » Authenticated System Calls |
205
click to vote
CORR
1999
Springer
15 years 7 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
244
click to vote
DMS
2010
15 years 5 months ago
2010
We present an automated Image Annotation system called I-Tag which uses both visual and textual information of the images and recommends relevant tags for them. The automatic gene...
166
click to vote
SIGDIAL
2010
15 years 5 months ago
2010
In this paper we propose a new technique to enhance emotion recognition by combining in different ways what we call emotion predictions. The technique is called F2 as the combinat...
206
click to vote
CAV
2004
Springer
16 years 19 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
175
click to vote
ICRA
2003
IEEE
16 years 16 days ago
2003
IEEE
We present an approach that uses Q-learning on individual robotic agents, for coordinating a missiontasked team of robots in a complex scenario. To reduce the size of the state sp...