Sciweavers

2706 search results - page 416 / 542
» Dynamical models of sentence processing
Sort
View
ISCA
2007
IEEE
208views Hardware» more  ISCA 2007»
15 years 10 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
15 years 10 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
15 years 10 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»
15 years 10 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»
15 years 10 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...