191 search results - page 16 / 39 » The Evolution of Relevance |
ENTCS
2007
14 years 11 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
SCP
2010
14 years 9 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Publication
This study investigates variational image segmentation with an original data term, referred to as statistical overlap prior, which measures the conformity of overlap between the no...
95
Voted
ICRA
2008
IEEE
15 years 5 months ago
2008
IEEE
— We propose an inverse agreement control strategy for multiple nonholonomic agents that forces the team members to disperse in the workspace in a distributed manner. Both the ca...
109
click to vote
ISASSCI
2001
15 years 13 days ago
2001
To ensure the consistency of database subsystems involved in wireless communication systems, appropriate scheduled maintenance policies are necessary. However, the short-persisten...