979 search results - page 82 / 196 » Presentations for Abstract Context Institutions |
LOBJET
2000
13 years 8 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
SAB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
MLMI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we present initial results towards boosting posterior based speech recognition systems by estimating more informative posteriors using multiple streams of ...
LREC
2010
13 years 9 months ago
2010
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...