4745 search results - page 420 / 949 » Discretization: An Enabling Technique |
164
click to vote
CP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
193
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
191
click to vote
ICMI
2004
Springer
16 years 7 days ago
2004
Springer
Although several real multimodal systems have been built, their development still remains a difficult task. In this paper we address this problem of development of multimodal inte...
178
click to vote
ISER
2004
Springer
16 years 6 days ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...
165
click to vote
SEKE
2004
Springer
16 years 6 days ago
2004
Springer
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...