2632 search results - page 431 / 527 » Alternating Timed Automata |
130
click to vote
JOT
2010
15 years 2 days ago
2010
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
91
Voted
SIAMSC
2010
15 years 1 days ago
2010
A significant amount of the computational time in large Monte Carlo simulations of lattice field theory is spent inverting the discrete Dirac operator. Unfortunately, traditional...
139
Voted
TKDE
2010
15 years 11 hour ago
2010
—The increasing availability of location-aware mobile devices has given rise to a flurry of location-based services (LBS). Due to the nature of spatial queries, an LBS needs the...
112
click to vote
LCN
2008
IEEE
15 years 8 months ago
2008
IEEE
—End to end available bandwidth is often constrained by IEEE 802.11 hops in the access network. Available bandwidth measurement is particularly challenging in the wireless enviro...
113
click to vote
BMVC
2010
14 years 11 months ago
2010
The standard approach to multi-modal registration is to apply sophisticated similarity metrics such as mutual information. The disadvantage of these measures, in contrast to simpl...