Sciweavers

3658 search results - page 203 / 732
» Founding properties on measurement
Sort
View
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
13 years 11 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
IFIP12
2004
13 years 11 months ago
Model-Based Debugging with High-Level Observations
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner
IPMU
2010
Springer
13 years 8 months ago
Retrieving Texture Images Using Coarseness Fuzzy Partitions
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...
Jesús Chamorro-Martínez, Pedro Manue...
ICMCS
2009
IEEE
103views Multimedia» more  ICMCS 2009»
13 years 7 months ago
Web image retrieval via learning semantics of query image
The performance of traditional image retrieval approaches remains unsatisfactory, as they are restricted by the wellknown semantic gap and the diversity of textual semantics. To t...
Chuanghua Gui, Jing Liu, Changsheng Xu, Hanqing Lu
CHI
2011
ACM
13 years 1 months ago
Rendering physical effects in tabletop controls
We introduce dynamic physical properties as an additional degree of freedom for passive tabletop controls. Using electromagnetic actuation, we manipulate attributes of tangibles o...
Malte Weiss, Christian Remy, Jan Borchers