3228 search results - page 267 / 646 » Computationally Sound Proofs |
133
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
139
Voted
ISIPTA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
158
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
137
click to vote
CSC
2006
15 years 6 months ago
2006
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
131
click to vote
CHI
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we present the Reactable, a new electronic musical instrument with a simple and intuitive tabletop interface that turns music into a tangible and visual experience, ...