Sciweavers

2638 search results - page 212 / 528
» A Framework for Automatic Debugging
Sort
View
170
Voted
FOSSACS
2008
Springer
15 years 8 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
ACL
1998
15 years 8 months ago
Simultaneous Interpretation Utilizing Example-based Incremental Transfer
This paper describes a practical method of automatic simultaneous interpretation utilizing an example-based incremental transfer mechanism. We primarily show how incremental trans...
Hideki Mima, Hitoshi Iida, Osamu Furuse
DEBU
2002
116views more  DEBU 2002»
15 years 6 months ago
The Role of Web Services in Information Search
State-of-the-art Web search engines are inherently limited in their abilities to search information in Deep Web beyond portals. This paper discusses how Web services and Semantic-...
Jens Graupmann, Gerhard Weikum
167
Voted
NAACL
2010
15 years 4 months ago
Bayesian Inference for Finite-State Transducers
We describe a Bayesian inference algorithm that can be used to train any cascade of weighted finite-state transducers on end-toend data. We also investigate the problem of automat...
David Chiang, Jonathan Graehl, Kevin Knight, Adam ...
CHI
2006
ACM
16 years 7 months ago
Gaze-based interaction for semi-automatic photo cropping
We present an interactive method for cropping photographs given minimal information about the location of important content, provided by eye tracking. Cropping is formulated in a ...
Anthony Santella, Maneesh Agrawala, Douglas DeCarl...