Sciweavers

128 search results - page 13 / 26
» Spoken-Language Translation Method Using Examples
Sort
View
FMCAD
2009
Springer
15 years 4 months ago
Finding heap-bounds for hardware synthesis
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey...
IJCAI
2007
14 years 11 months ago
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...
Shin-ichi Minato, Ken Satoh, Taisuke Sato
TAP
2008
Springer
153views Hardware» more  TAP 2008»
14 years 9 months ago
Bounded Relational Analysis of Free Data Types
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
ACL
2010
14 years 7 months ago
Importance of Linguistic Constraints in Statistical Dependency Parsing
Statistical systems with high accuracy are very useful in real-world applications. If these systems can capture basic linguistic information, then the usefulness of these statisti...
Bharat Ram Ambati
ICMCS
2010
IEEE
159views Multimedia» more  ICMCS 2010»
14 years 10 months ago
Wide range image sensing using a thrown-up camera
In this paper, we propose a wide-range image sensing method using a camera thrown up into the air. By using camera thrown up in this way, we can get images that are otherwise diff...
Toshitaka Kuwa, Yoshihiro Watanabe, Takashi Komuro...