11151 search results - page 2202 / 2231 » On the Complexity of Model Expansion |
114
click to vote
MMS
2008
15 years 23 days ago
2008
Due to the increasing deployment of conversational real-time applications like VoIP and videoconferencing, the Internet is today facing new challenges. Low end-to-end delay is a vi...
111
Voted
NN
2008
Springer
15 years 23 days ago
2008
Springer
In the study of information flow in the nervous system, component processes can be investigated using a range of electrophysiological and imaging techniques. Although data is diff...
101
click to vote
FGCS
2007
15 years 23 days ago
2007
The computing-intensive data mining for inherently Internet-wide distributed data, referred to as Distributed Data Mining (DDM), calls for the support of a powerful Grid with an e...
159
click to vote
FUIN
2007
15 years 23 days ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
147
click to vote
FUIN
2007
15 years 23 days ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...