Sciweavers

5624 search results - page 941 / 1125
» On Conditional Covering Problem
Sort
View
GECCO
2006
Springer
128views Optimization» more  GECCO 2006»
15 years 4 months ago
FTXI: fault tolerance XCS in integer
In the realm of data mining, several key issues exists in the traditional classification algorithms, such as low readability, large rule number, and low accuracy with information ...
Hong-Wei Chen, Ying-Ping Chen
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
15 years 4 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
AFRIGRAPH
2001
ACM
15 years 4 months ago
A gesture processing framework for multimodal interaction in virtual reality
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
Marc Erich Latoschik
85
Voted
CHARME
2003
Springer
120views Hardware» more  CHARME 2003»
15 years 4 months ago
A Compositional Theory of Refinement for Branching Time
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
Panagiotis Manolios
111
Voted
EWCBR
2000
Springer
15 years 4 months ago
Activating Case-Based Reasoning with Active Databases
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
Sheng Li, Qiang Yang