Sciweavers

182 search results - page 24 / 37
» P Automata: Concepts, Results, and New Aspects
Sort
View
IADIS
2003
14 years 11 months ago
Deriving the Optimal Modality Combination for Searching in Multidimensional Databases
The European MIAMM-project (Multidimensional Information Access using Multiple Modalities) develops new concepts and techniques for multimodal dialogs that allow for fast and natu...
Myra P. van Esch-Bussemakers, Anita H. M. Cremers,...
IPPS
2007
IEEE
15 years 4 months ago
Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
Carlos Morra, João M. P. Cardoso, Jürg...
ASM
2010
ASM
15 years 4 months ago
Alloy+HotCore: A Fast Approximation to Unsat Core
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
Nicolás D'Ippolito, Marcelo F. Frias, Juan ...
CORR
2010
Springer
67views Education» more  CORR 2010»
14 years 8 months ago
Maintaining Virtual Areas on FPGAs using Strip Packing with Delays
—Every year the computing resources available on dynamically partially reconfigurable devices increase enormously. In the near future, we expect many applications to run on a si...
Josef Angermeier, Sándor P. Fekete, Tom Kam...
CVPR
2008
IEEE
15 years 11 months ago
Geo-located image analysis using latent representations
Image categorization is undoubtedly one of the most challenging open problems faced in Computer Vision, far from being solved by employing pure visual cues. Recently, additional t...
Marco Cristani, Alessandro Perina, Umberto Castell...