21430 search results - page 134 / 4286 » Abstract Effective Models |
160
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
188
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
172
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
ating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture for Robot Control ALBERTO ELFES Presented in the 1996 Dagstuhl Seminar 963...
178
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We propose a semi-supervised, kinetic modeling based segmentation technique for molecular imaging applications. It is an iterative, self-learning algorithm based on uncer...
279
click to vote
AICT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract: A method of admission control based on both resource requests by applications and class-based traffic measurement results was developed. In this method, a wide range of a...