Sciweavers

4041 search results - page 413 / 809
» A Model of Creative Understanding
Sort
View
ACIVS
2005
Springer
16 years 11 days ago
Interactive Object-Based Retrieval Using Relevance Feedback
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
Sorin Sav, Hyowon Lee, Noel E. O'Connor, Alan F. S...
HYBRID
2005
Springer
16 years 10 days ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng
162
Voted
ICCBR
2005
Springer
16 years 10 days ago
Navigating Through Case Base Competence
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
Maarten Grachten, F. Alejandro García, Jose...
COMPGEOM
2004
ACM
16 years 7 days ago
A scalable simulator for forest dynamics
Models of forest ecosystems are needed to understand how climate and land-use change can impact biodiversity. In this paper we describe an individual-based, spatially-explicit for...
Sathish Govindarajan, Mike Dietze, Pankaj K. Agarw...
PASTE
2004
ACM
16 years 7 days ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans