12741 search results - page 284 / 2549 » Editorial and call for papers |
147
click to vote
SAT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
168
click to vote
XPU
2004
Springer
16 years 2 days ago
2004
Springer
Refactoring is a key element of many agile software development methods. While most developers associate small design changes with the term refactoring (as described by Martin Fowl...
153
click to vote
AINA
2003
IEEE
16 years 23 hour ago
2003
IEEE
This paper introduces a novel reprocessingtransaction model that handles the update conflicts between mobile transactions without abortion. The proposed model executes a new subtr...
172
click to vote
CEC
2003
IEEE
16 years 21 hour ago
2003
IEEE
Abstract- This paper describes an approach to continuous coevolution of form (the morphology) and function (the control behavior) for autonomous vehicles. This study focuses on coe...
195
click to vote
CLUSTER
2003
IEEE
16 years 21 hour ago
2003
IEEE
Dynamic programming is an important algorithm design technique in computational biology and scientific computing. Typical applications using this technique are very compute-intens...