3113 search results - page 288 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
130
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
172
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
142
click to vote
RE
2005
Springer
15 years 10 months ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
136
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
We consider a kernel-based approach to nonlinear classification that coordinates the generation of “synthetic” points (to be used in the kernel) with “chunking” (working wi...
171
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
- Motion planning is one of the key capabilities for autonomous humanoid robots. Previous researches have focused on weight balancing, collision detection, and gait generation. Mos...