1690 search results - page 283 / 338 » Algorithmic Properties of Millstream Systems |
124
click to vote
CAV
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
121
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
81
Voted
HCI
2007
15 years 2 months ago
2007
This paper explores how a ‘learning’ algorithm can be added to UGV’s by giving it the ability to test the terrain through ‘feeling’ using incorporated sensors, which woul...
103
click to vote
APVIS
2006
15 years 2 months ago
2006
The analysis of network motifs, patterns of local interconnections with potential functional properties, has applications in many fields of science. Network motif analysis is part...
126
Voted
ICVGIP
2004
15 years 2 months ago
2004
Diffusion has been used extensively in computer vision. Most common applications of diffusion have been in low level vision problems like segmentation and edge detection. In this ...