1187 search results - page 119 / 238 » Graph-Based Procedural Abstraction |
ISI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract—Public communication during natural and manmade disasters is a key issue that must be addressed to protect lives and properties. The choice of the best protective action...
104
click to vote
IWINAC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the numerical evolutionary optimization of dynamic molecular alignment by shaped femtosecond laser pulses. We study a simplified model of this quantum contro...
128
Voted
IWSM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
100
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
134
Voted
ROBOCUP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The mean-shift algorithm is an efficient technique for tracking 2D blobs through an image. Although it is important to adapt the mean-shift kernel to handle changes in il...