2850 search results - page 349 / 570 » On Timed Models and Full Abstraction |
184
click to vote
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We study the feasibility and time of communication in random geometric radio networks, where nodes fail randomly with positive correlation. We consider a set of radio sta...
218
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
211
click to vote
TII
2010
15 years 1 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
163
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Abstract. Aggregate window queries return summarized information about objects that fall inside a query rectangle (e.g., the number of objects instead of their concrete ids). Tradi...
213
click to vote
NIPS
2004
15 years 8 months ago
2004
We use unsupervised probabilistic machine learning ideas to try to explain the kinds of learning observed in real neurons, the goal being to connect abstract principles of self-or...