11376 search results - page 47 / 2276 » Willow System Demonstration |
145
click to vote
ENTCS
2011
14 years 11 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
184
click to vote
PR
2010
14 years 11 months ago
2010
In this paper, we use a hill-climbing attack algorithm based on Bayesian adaption to test the vulnerability of two face recognition systems to indirect attacks. The attacking tech...
165
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
119
click to vote
AICOM
1999
15 years 4 months ago
1999
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
163
click to vote
TMC
2008
15 years 3 months ago
2008
This paper introduces a cooperation-based database caching system for Mobile Ad Hoc Networks (MANETs). The heart of the system is the nodes that cache submitted queries. The querie...