2519 search results - page 293 / 504 » Reasoning with Textual Cases |
187
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
198
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
133
click to vote
ETFA
2006
IEEE
16 years 20 days ago
2006
IEEE
Embedded software often needs to be ported from one system to another. This may happen for a number of reasons among which are the need for using less expensive hardware or the ne...
229
click to vote
HPCS
2006
IEEE
16 years 19 days ago
2006
IEEE
We analyze the behavior of Euler-Maclaurin-based integration schemes with the intention of deriving accurate and economic estimations of the error. These schemes typically provide...
151
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...