Sciweavers

2706 search results - page 416 / 542
» Dynamical models of sentence processing
Sort
View
ISCA
2007
IEEE
208views Hardware» more  ISCA 2007»
14 years 4 months ago
Core fusion: accommodating software diversity in chip multiprocessors
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
Engin Ipek, Meyrem Kirman, Nevin Kirman, Jos&eacut...
QEST
2007
IEEE
14 years 4 months ago
Symbolic Bisimulations for Probabilistic Systems
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
Peng Wu 0002, Catuscia Palamidessi, Huimin Lin
ISI
2007
Springer
14 years 4 months ago
Organizing Hot-Spot Police Patrol Routes
—We address the problem of planning patrol routes to maximize coverage of important locations (hot spots) at minimum cost (length of patrol route). We model a road network using ...
Sudarshan S. Chawathe
PSIVT
2007
Springer
354views Multimedia» more  PSIVT 2007»
14 years 4 months ago
Real-Time Hand Gesture Detection and Recognition Using Boosted Classifiers and Active Learning
In this article a robust and real-time hand gesture detection and recognition system for dynamic environments is proposed. The system is based on the use of boosted classifiers for...
Hardy Francke, Javier Ruiz-del-Solar, Rodrigo Vers...
DATE
2006
IEEE
135views Hardware» more  DATE 2006»
14 years 4 months ago
FPGA architecture characterization for system level performance analysis
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
Douglas Densmore, Adam Donlin, Alberto L. Sangiova...