Sciweavers

3385 search results - page 244 / 677
» Observer-Conditioned-Observable Design Pattern
Sort
View
ICFP
2001
ACM
16 years 1 months ago
Extensible Algebraic Datatypes with Defaults
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
Matthias Zenger, Martin Odersky
PREMI
2009
Springer
15 years 8 months ago
A Bayesian Approach to Hybrid Image Retrieval
Content based image retrieval (CBIR) has been well studied in the computer vision and multimedia community. Content free image retrieval (CFIR) methods, and their complementary cha...
Pradhee Tandon, C. V. Jawahar
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
15 years 8 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»
15 years 8 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»
15 years 8 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