709 search results - page 99 / 142 » In-stroke word completion |
163
click to vote
ENTCS
2006
15 years 5 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
135
click to vote
ENTCS
2006
15 years 5 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
139
click to vote
ENTCS
2006
15 years 5 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
136
click to vote
CAGD
2007
15 years 5 months ago
2007
Barycentric coordinates are a fundamental concept in computer graphics and geometric modeling. We extend the geometric construction of Floater’s mean value coordinates [8,11] to...
141
click to vote
INFORMATICALT
2008
15 years 5 months ago
2008
The invention of public-key cryptography makes many new network applications, such as electronic commerce (CE), possible. However, the widely used Internet is open and unprotected....