90 search results - page 16 / 18 » Property models: from incidental algorithms to reusable comp... |
ISOLA
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
NIPS
2004
14 years 11 months ago
2004
We introduce a novel active-learning scenario in which a user wants to work with a learning algorithm to identify useful anomalies. These are distinguished from the traditional st...
SPAA
2005
ACM
15 years 3 months ago
2005
ACM
An important problem for wireless ad hoc networks has been to design overlay networks that allow time- and energy-efficient routing. Many local-control strategies for maintaining...
ICIP
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a content-based medical image retrieval (CBMIR) framework using dynamically optimized features from multiple regions of medical images. These regional features...
101
click to vote
IMAGING
2000
14 years 11 months ago
2000
Recent developments in spectral imaging are pointing toward a future where the demands on color management will require a richer infrastructure than that which is currently offere...