1222 search results - page 118 / 245 » Some Results on Directable Automata |
MIR
2005
ACM
15 years 3 months ago
2005
ACM
The last decade has witnessed great interest in research on content-based image retrieval. This has paved the way for a large number of new techniques and systems, and a growing i...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
In vague queries, a user enters a value that represents some real world object and expects as the result the set of database values that represent this real world object even with ...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
ISW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Digitalization of content is both a blessing and a curse. While it allows for efficient transmission and consumption, the ease of copying and sharing digital content has ...
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 3 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...