4693 search results - page 358 / 939 » Verifying Hybrid Systems |
190
click to vote
NAACL
1994
15 years 8 months ago
1994
An ongoing debate in text understanding efforts centers on the use of pattern-matching techniques, which some have characterized as "designed to ignore as much text as possib...
231
click to vote
BIOSIG
2009
15 years 4 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
196
click to vote
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
As the abundance of Web services on the World Wide Web increase, designing effective approaches for Web service selection and recommendation has become more and more important. In...
179
click to vote
SIAMNUM
2011
15 years 1 months ago
2011
We introduce a new mixed method for the biharmonic problem. The method is based on a formulation where the biharmonic problem is re-written as a system of four first-order equatio...
153
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...