2586 search results - page 274 / 518 » Automatic Abstraction for Congruences |
152
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In previous work [4] a framework was demonstrated that allows an autonomous robot to automatically synthesize physically-realistic models of its own body. Here it is demo...
166
click to vote
GPC
2007
Springer
15 years 10 months ago
2007
Springer
g Service Oriented Abstractions for the Wireless Sensor Grid Edgardo Aviles-Lopez, J. Antonio Garcia-Macias Implementation of OSD Security Framework and Credential Cache Gu Su Kim,...
183
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
195
click to vote
ICANNGA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The use of support vector machines for multi-category problems is still an open field to research. Most of the published works use the one-against-rest strategy, but with...
184
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...