Sciweavers

2056 search results - page 355 / 412
» Detecting Errors in Spreadsheets
Sort
View
ENTCS
2008
132views more  ENTCS 2008»
14 years 10 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
IAJIT
2008
78views more  IAJIT 2008»
14 years 10 months ago
Performance Analyses of Fast Frequency Hopping Spread Spectrum and Jamming Systems
: As technology becomes increasingly able to meet the requirements, interest in faster, noncoherent, frequency hopping rates to reduce the jamming of communication has heightened. ...
Abid Yahya, Othman Sidek, Junita Mohamad-Saleh
CORR
2006
Springer
242views Education» more  CORR 2006»
14 years 10 months ago
Matching Edges in Images ; Application to Face Recognition
: This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images...
Joël Le Roux, Philippe Chaurand, Mickael Urru...
ENGL
2006
204views more  ENGL 2006»
14 years 10 months ago
The Communication in Intelligent Distributed Fault Tolerant Systems
Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intellige...
Arnulfo Alanis Garza, Juan José Serrano, Ra...
CG
2007
Springer
14 years 10 months ago
Graphtracker: A topology projection invariant optical tracker
In this paper, we describe a new optical tracking algorithm for pose estimation of interaction devices in virtual and augmented reality. Given a 3D model of the interaction device...
Ferdi A. Smit, Arjen van Rhijn, Robert van Liere