Sciweavers

2064 search results - page 265 / 413
» A Comparative Study of Fuzzy Sets and Rough Sets
Sort
View
RTAS
2007
IEEE
16 years 23 days ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...
ICMCS
2006
IEEE
181views Multimedia» more  ICMCS 2006»
16 years 16 days ago
Toward Intelligent Use of Semantic Information on Subspace Discovery for Image Retrieval
Image retrieval has been widely used in many fields of science and engineering. The semantic concept of user interest is obtained by a learning process. Traditional techniques oft...
Jie Yu, Qi Tian
ISWC
2006
IEEE
16 years 15 days ago
Evaluation of an Eyes-Free Cursorless Numeric Entry System for Wearable Computers
We report on the results of a user study to investigate the utility of passive haptics for eyes-free numeric entry. This work targets cursorless user interfaces designed for use w...
Gábor Blaskó, Steven Feiner
CAV
2005
Springer
129views Hardware» more  CAV 2005»
16 years 1 days ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
ICCS
2004
Springer
15 years 12 months ago
Improving Geographical Locality of Data for Shared Memory Implementations of PDE Solvers
On cc-NUMA multi-processors, the non-uniformity of main memory latencies motivates the need for co-location of threads and data. We call this special form of data locality, geogra...
Henrik Löf, Markus Nordén, Sverker Hol...