Sciweavers

862 search results - page 93 / 173
» A Framework for Testing Peer-to-Peer Systems
Sort
View
AAAI
2004
15 years 7 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis
144
Voted
ISTA
2003
15 years 7 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
HOST
2009
IEEE
15 years 3 months ago
Experiences in Hardware Trojan Design and Implementation
Abstract-- We report our experiences in designing and implementing several hardware Trojans within the framework of the Embedded System Challenge competition that was held as part ...
Yier Jin, Nathan Kupp, Yiorgos Makris
179
Voted
ICDAR
2009
IEEE
15 years 3 months ago
Towards Handwritten Mathematical Expression Recognition
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
Ahmad-Montaser Awal, Harold Mouchère, Chris...
168
Voted
ICDE
2009
IEEE
138views Database» more  ICDE 2009»
15 years 3 months ago
Similarity Group-By
The identification and processing of similarities in the data play a key role in multiple application scenarios. Several types of similarity-aware operations have been studied in ...
Yasin N. Silva, Walid G. Aref, Mohamed H. Ali