3133 search results - page 104 / 627 » Difference systems of sets and cyclotomy |
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The XCS Learning Classifier System has traditionally used roulette wheel selection within its genetic algorithm component. Recently, tournament selection has been suggested as prov...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Rapid design space exploration with accurate models is necessary to improve designer productivity at the electronic system level. We describe how to use a new event-based design f...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper proposes an automatic foreground segmentation system based on Gaussian mixture models and dynamic graph cut algorithm. An adaptive perpixel background model is develope...
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
A broad range of industries must be able to seamlessly integrate control applications using sensors distributed in the real world and IT applications supporting various business a...