4327 search results - page 142 / 866 » Web presentation system using RST events |
117
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
150
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
147
Voted
WSDM
2009
ACM
15 years 11 months ago
2009
ACM
Web search queries capture the information need of search engine users. Search engines store these queries in their logs and analyze them to guide their search results. In this wo...
106
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— In this paper we present two task-allocation strategies for a multi-robot transportation system. The first strategy is based on a centralized planner that uses domain ...
149
click to vote
IANDC
2007
15 years 4 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...