500 search results - page 52 / 100 » Thread-Modular Abstraction Refinement |
COSIT
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present a methodology of how to use a top-level ontology to create a domain ontology from existing scientific texts by (1) identifying informal definitions of domain-s...
EDUTAINMENT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
DICTA
2003
14 years 11 months ago
2003
Abstract. A multi-resolution image matching technique based on multiwavelets followed by a coarse to fine strategy is presented. The technique addresses the estimation of optimal c...
JOT
2007
14 years 9 months ago
2007
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
WINE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...