Sciweavers

3387 search results - page 253 / 678
» Automating the Metamodeling Process
Sort
View
WWW
2009
ACM
16 years 1 months ago
Near real time information mining in multilingual news
This paper presents a near real-time multilingual news monitoring and analysis system that forms the backbone of our research work. The system integrates technologies to address t...
Martin Atkinson, Erik Van der Goot
FCCM
2009
IEEE
189views VLSI» more  FCCM 2009»
16 years 1 months ago
Application Specific Customization and Scalability of Soft Multiprocessors
Although soft microprocessors are widely used in FPGAs, limited work has been performed regarding how to automatically and efficiently generate soft multiprocessors. In this paper...
Deepak Unnikrishnan, Jia Zhao, Russell Tessier
ROBOCUP
2009
Springer
214views Robotics» more  ROBOCUP 2009»
16 years 1 months ago
Real-Time Ball Tracking in a Semi-automated Foosball Table
In this article a method is proposed for ball tracking using 100 Hz computer vision in a semi-automated foosball table. In this application the behavior of the ball is highly dynam...
Rob Janssen, Jeroen de Best, René van de Mo...
SARA
2009
Springer
16 years 1 months ago
Automatically Enhancing Constraint Model Instances during Tailoring
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...
Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher...
QEST
2007
IEEE
16 years 25 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns