1920 search results - page 90 / 384 » The Range Constraint: Algorithms and Implementation |
140
Voted
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
115
Voted
ECBS
2002
IEEE
15 years 8 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
130
click to vote
TCBB
2008
15 years 3 months ago
2008
Two efficient and complementary sampling algorithms are presented to explore the space of closed clash-free conformations of a flexible protein loop. The "seed sampling" ...
104
Voted
MA
1999
Springer
15 years 8 months ago
1999
Springer
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support ef...
97
Voted
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new class of parallel and distributed audio concealment (PDAC) algorithms which recover lost audio packets at the receiver to fight against channel impairment. The m...