8009 search results - page 321 / 1602 » cans 2005 |
161
click to vote
EURONGI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper proposes an approximate methodology for solving Markov models that compete for limited resources and retry when access fails, like those arising in mobile cell...
203
click to vote
FMCO
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
189
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
179
click to vote
HUC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The physical disappearance of the computer, associated with Ubicomp, has led to a number of interaction challenges. Due to the lack of an interface users are losing contr...
175
click to vote
IPMI
2005
Springer
16 years 6 days ago
2005
Springer
A novel robust active appearance model (AAM) matching algorithm is presented. The method consists of two main stages. First, initial residuals are clustered by a non parametric mea...