1965 search results - page 231 / 393 » On the analysis of interacting pushdown systems |
ECIR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The following paper proposes a new kind of relevance feedback. It shows how so called query profiles can be employed for disambiguation and clarification. Query profiles ...
PR
2006
13 years 10 months ago
2006
For the management of digital document collections, automatic database analysis still has ties to deal with semantic queries and abstract concepts that users are looking for. When...
RAS
2007
13 years 9 months ago
2007
We coordinate in discrete time the interaction of two heterogeneous groups of mobile agents: a group of ground vehicles (ugvs) and a group of aerial vehicles (uavs). The ground ag...
BIOCOMP
2010
13 years 8 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
ETRA
2006
ACM
14 years 4 months ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...