4693 search results - page 235 / 939 » Verifying Hybrid Systems |
150
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
As a result of well-publicized security concerns with direct recording electronic (DRE) voting, there is a growing call for systems that employ some form of paper artifact to prov...
182
click to vote
PREMI
2005
Springer
16 years 2 days ago
2005
Springer
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...
179
click to vote
ISMAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a new hybrid tracking system that integrates standard outdoor augmented reality trackers with a low cost indoor tracker based on the use of fiducial markers. ...
180
click to vote
ICPP
1993
IEEE
15 years 10 months ago
1993
IEEE
Current and emerging high-performance parallel computer architectures generally implement one of two types of communication mechanisms: shared memory (SM) or message passing (MP)....
195
click to vote
CSJM
2008
15 years 6 months ago
2008
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...