1567 search results - page 109 / 314 » A Mechanized Model of the Theory of Objects |
113
click to vote
WOA
2000
15 years 3 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
110
click to vote
ACL
2010
14 years 11 months ago
2010
We introduce a novel mechanism for incorporating articulatory dynamics into speech recognition with the theory of task dynamics. This system reranks sentencelevel hypotheses by th...
207
click to vote
ICDE
1996
IEEE
16 years 3 months ago
1996
IEEE
The Mariposa distributed data manager uses an economic model for managing the allocation of both storage objects and queries to servers. In this paper, we present extensions to th...
DASFAA
2008
IEEE
15 years 8 months ago
2008
IEEE
The importance of topological relationships between spatial objects is recognized in many disciplines. In the field of spatial databases, topological relationships have played an ...
128
click to vote
SIAMCOMP
2008
15 years 1 months ago
2008
We develop approximation algorithms for the problem of placing replicated data in arbitrary networks, where the nodes may both issue requests for data objects and have capacity fo...