Sciweavers

12568 search results - page 2512 / 2514
» Selective user interaction
Sort
View
NAR
2011
290views Computer Vision» more  NAR 2011»
12 years 10 months ago
AHD2.0: an update version of Arabidopsis Hormone Database for plant systematic studies
Phytohormone studies enlightened our knowledge of plant responses to various changes. To provide a systematic and comprehensive view of genes participating in plant hormonal regul...
Zhiqiang Jiang, Xiao-Chuan Liu, Zhiyu Peng, Yinan ...
ICCV
2011
IEEE
12 years 8 months ago
iGroup : Weakly supervised image and video grouping
We present a generic, efficient and iterative algorithm for interactively clustering classes of images and videos. The approach moves away from the use of large hand labelled tra...
Andrew Gilbert, Richard Bowden
FEDCSIS
2011
90views more  FEDCSIS 2011»
12 years 7 months ago
Services Composition Model for Home-Automation peer-to-peer Pervasive Computing
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
Juan A. Holgado-Terriza, Sandra Rodríguez-V...
AI
2012
Springer
12 years 3 months ago
Plan recognition in exploratory domains
This paper describes a challenging plan recognition problem that arises in environments in which agents engage widely in exploratory behavior, and presents new algorithms for eff...
Ya'akov Gal, Swapna Reddy, Stuart M. Shieber, Ande...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
« Prev « First page 2512 / 2514 Last » Next »