Sciweavers

551 search results - page 60 / 111
» Preventing existence
Sort
View
CVBIA
2005
Springer
15 years 5 months ago
Locally Switching Between Cost Functions in Iterative Non-rigid Registration
In non-rigid image registration problems, it can be difficult to construct a single cost function that adequately captures concepts of similarity for multiple structures, for examp...
William Mullally, Margrit Betke, Carissa Bellardin...
IPTPS
2005
Springer
15 years 5 months ago
The Bittorrent P2P File-Sharing System: Measurements and Analysis
Of the many P2P file-sharing prototypes in existence, BitTorrent is one of the few that has managed to attract millions of users. BitTorrent relies on other (global) components f...
Johan A. Pouwelse, Pawel Garbacki, Dick H. J. Epem...
TGC
2005
Springer
15 years 5 months ago
Concurrency Among Strangers
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...
Mark S. Miller, Eric Dean Tribble, Jonathan S. Sha...
VMCAI
2005
Springer
15 years 5 months ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li
ICWE
2004
Springer
15 years 5 months ago
A Framework for the Simulation of Web Applications
Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...
Pedro Peixoto, K. K. Fung, David Lowe