Sciweavers

3695 search results - page 346 / 739
» Design patterns for parsing
Sort
View
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
16 years 1 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
IROS
2008
IEEE
132views Robotics» more  IROS 2008»
16 years 1 months ago
Digital representation of everyday objects in a robot ecology via proxies
Abstract— Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. Unfortunately, very simple devices like ta...
Md. Jayedur Rashid, Mathias Broxvall, Alessandro S...
IDEAS
2007
IEEE
146views Database» more  IDEAS 2007»
16 years 1 months ago
Approximate Structural Matching over Ordered XML Documents
There is an increasing need for an XML query engine that not only searches for exact matches to a query but also returns “query-like” structures. We have designed and develope...
Nitin Agarwal, Magdiel Galan Oliveras, Yi Chen
CEEMAS
2007
Springer
16 years 26 days ago
An Architecture and Framework for Agent-Based Web Applications
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...
Alexander Pokahr, Lars Braubach
ASAP
2006
IEEE
97views Hardware» more  ASAP 2006»
16 years 23 days ago
Dynamic-SIMD for lens distortion compensation
An increasing computational demand is placed on the image processing capacity of current and future smart cameras. SIMD processor architectures provide an efficient solution becau...
Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Ba...