Sciweavers

719 search results - page 70 / 144
» Performance Model Building of Pervasive Computing
Sort
View
ICPR
2008
IEEE
14 years 9 months ago
Semantic grouping of visual features
Many current object class models build on visual parts that constitute an object. However, visually different entities may actually refer to the same object part. This may be harm...
Alexandra Teynor, Hans Burkhardt
BIBE
2008
IEEE
109views Bioinformatics» more  BIBE 2008»
14 years 2 months ago
Retrieval and ranking of biomedical images using boosted haar features
— Retrieving similar images from large repository of heterogeneous biomedical images has been a difficult research task. In this paper, we develop a retrieval system that uses H...
Chandan K. Reddy, Fahima A. Bhuyan
ACL
2010
13 years 5 months ago
Optimising Information Presentation for Spoken Dialogue Systems
We present a novel approach to Information Presentation (IP) in Spoken Dialogue Systems (SDS) using a data-driven statistical optimisation framework for content planning and attri...
Verena Rieser, Oliver Lemon, Xingkun Liu
WORM
2003
13 years 9 months ago
Worm anatomy and model
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
Dan Ellis
CAV
2006
Springer
95views Hardware» more  CAV 2006»
13 years 11 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik