611 search results - page 77 / 123 » Yuri, Logic, and Computer Science |
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
Segmentation is the first step in managing data for many information retrieval tasks. Automatic audio transcriptions and digital video footage are typically continuous data sourc...
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
RTA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
GI
2003
Springer
15 years 3 months ago
2003
Springer
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...