Sciweavers

4419 search results - page 141 / 884
» Information Science in Transition
Sort
View
128
Voted
ANLP
2000
123views more  ANLP 2000»
15 years 5 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay
148
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
Binary Consensus over Fading Channels: A Best Affine Estimation Approach
In this paper we consider a cooperative network that is trying to reach binary consensus over fading channels. We first characterize the impact of fading on network consensus by up...
Mehrzad Malmirchegini, Yongxiang Ruan, Yasamin Mos...
IEICET
2010
133views more  IEICET 2010»
15 years 2 months ago
Least-Squares Conditional Density Estimation
Estimating the conditional mean of an input-output relation is the goal of regression. However, regression analysis is not sufficiently informative if the conditional distribution...
Masashi Sugiyama, Ichiro Takeuchi, Taiji Suzuki, T...
ACL
2010
15 years 1 months ago
Reading between the Lines: Learning to Map High-Level Instructions to Commands
In this paper, we address the task of mapping high-level instructions to sequences of commands in an external environment. Processing these instructions is challenging--they posit...
S. R. K. Branavan, Luke S. Zettlemoyer, Regina Bar...
CONCUR
2012
Springer
13 years 6 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain