10493 search results - page 459 / 2099 » Dynamic Word Problems |
136
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
185
click to vote
AICT
2005
IEEE
16 years 13 days ago
2005
IEEE
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
163
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
155
Voted
GCC
2004
Springer
16 years 6 days ago
2004
Springer
This paper introduces a novel approach for dynamic service establishment in a virtual organization. To allow dynamism semantic information has to be processed. A common language is...
153
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...