4460 search results - page 321 / 892 » Formal methods for interactive systems |
163
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we propose a new user interface to interactively specify Web wrappers to extract relational information from Web documents. In this study, we focused on improving u...
162
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
To facilitate software maintenance and evolution, a helpful step is to locate features concerned in a particular maintenance task. In the literature, both dynamic and interactive ...
180
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Multi-class classification schemes typically require human input in the form of precise category names or numbers for each example to be annotated – providing this can be impra...
180
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper we present a novel interactive method and interface techniques for controlling the behavior of physically-based simulation of deformable objects. The goal of our r...
227
click to vote
CCGRID
2006
IEEE
16 years 23 days ago
2006
IEEE
— Geometric shape modeling becomes increasingly complex and resource-demanding task. In this paper we propose a method to leverage the power of Grid to provide users with high-pr...