10916 search results - page 210 / 2184 » On Constructive Connectives and Systems |
157
click to vote
CICLING
2004
Springer
16 years 1 days ago
2004
Springer
The construction of a speech recognition system requires a recorded set of phrases to compute the pertinent acoustic models. This set of phrases must be phonetically rich and balan...
145
click to vote
ICPPW
2003
IEEE
15 years 12 months ago
2003
IEEE
The resource allocation problem is a fundamental problem in distributed systems. In this paper, we focus on constructing nondominated (ND) local coteries to solve the problem. Dis...
181
click to vote
ECWEB
2000
Springer
15 years 11 months ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...
140
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
The messiahs project is investigating mechanisms that support task placement in heterogeneous, distributed, autonomous systems. messiahs provides a substrate on which scheduling a...
179
Voted
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...