Sciweavers

4772 search results - page 666 / 955
» An approach to interface synthesis
Sort
View
SIGMOD
2011
ACM
199views Database» more  SIGMOD 2011»
14 years 9 months ago
Schema-as-you-go: on probabilistic tagging and querying of wide tables
The emergence of Web 2.0 has resulted in a huge amount of heterogeneous data that are contributed by a large number of users, engendering new challenges for data management and qu...
Meiyu Lu, Divyakant Agrawal, Bing Tian Dai, Anthon...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 2 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...
ICIP
2005
IEEE
16 years 8 months ago
A man-machine communication system based on the visual analysis of dynamic gestures
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....
Giulia Gastaldi, Alessandro Pareschi, Silvio P. Sa...
148
Voted
ICIP
2004
IEEE
16 years 8 months ago
Corridor scissors: a semi-automatic segmentation tool employing minimum-cost circular paths
We present a new semi-automatic segmentation tool, which is motivated by the Intelligent Scissors algorithm [1], but which uses a modified concept of user-interaction. This new in...
Dirk Farin, Magnus Pfeffer, Peter H. N. de With, W...
ICIP
2002
IEEE
16 years 8 months ago
Echocardiogram videos: summarization, temporal segmentation and browsing
In this paper, we present a system for the temporal segmentation, summarization, and browsing of the Echocardiogram videos. Echocardiogram videos are video sequences produced by t...
Shahram Ebadollahi, Shih-Fu Chang, Henry Wu