5128 search results - page 144 / 1026 » When Abstraction Fails |
185
click to vote
IWSOS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. A fundamental problem of future networks is to get fully selforganized routing protocols with good scalability properties that produce good paths in a wide range of netwo...
189
click to vote
KI
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
195
click to vote
RTA
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
154
click to vote
IWPC
2006
IEEE
16 years 10 days ago
2006
IEEE
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
160
click to vote
ACCV
2006
Springer
16 years 9 days ago
2006
Springer
Abstract. We present a lip contour tracking algorithm using attractorguided particle filtering. Usually it is difficult to robustly track the lip contour because the lip contour i...