Sciweavers

5608 search results - page 183 / 1122
» On the Theory of Matchgate Computations
Sort
View
83
Voted
COLING
1994
15 years 3 months ago
Towards a Proper Linguistic and Computational Treatment of Scrambling: An Analysis of Japanese
t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...
Sandiway Pong
116
Voted
ICALP
2007
Springer
15 years 8 months ago
Model Theory Makes Formulas Large
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...
EWSN
2004
Springer
15 years 7 months ago
Networked Slepian-Wolf: Theory and Algorithms
Abstract. In this paper, we consider the minimization of a relevant energy consumption related cost function in the context of sensor networks where correlated sources are generate...
Razvan Cristescu, Baltasar Beferull-Lozano, Martin...
139
Voted
EMSOFT
2001
Springer
15 years 6 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
MIE
2008
128views Healthcare» more  MIE 2008»
15 years 3 months ago
Interface Terminologies: Bridging the Gap between Theory and Reality for Africa
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
Andrew S. Kanter, Amy Y. Wang, Fred E. Masarie Jr....