4341 search results - page 693 / 869 » Quantitative Model checking |
192
click to vote
SI3D
2006
ACM
16 years 12 days ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
203
click to vote
WOWMOM
2006
ACM
16 years 12 days ago
2006
ACM
— Voice over IP is a major trend in applications for wireless networks, but even so it is not immune to the risks usually related with IP networks. Proposed solutions for VoIP se...
179
click to vote
CVPR
2010
IEEE
16 years 3 days ago
2010
IEEE
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
214
click to vote
ACSC
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper discusses the effect of context on mobile usability, proposes an expanded model of mobile application context, and conducts an empirical study to test a number of hypot...
180
click to vote
BIBE
2005
IEEE
16 years 2 days ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...