Sciweavers

3724 search results - page 505 / 745
» Timed regular expressions
Sort
View
ICAIL
1995
ACM
15 years 10 months ago
An Implementation of Eisner v. Macomber
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
L. Thorne McCarty
ICDT
1995
ACM
105views Database» more  ICDT 1995»
15 years 10 months ago
Datalog Queries of Set Constraint Databases
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
Peter Z. Revesz
PEPM
1991
ACM
15 years 10 months ago
The Semantics of Scheme Control-Flow Analysis
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
Olin Shivers
PPOPP
1991
ACM
15 years 10 months ago
Coarse-Grain Parallel Programming in Jade
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
Monica S. Lam, Martin C. Rinard
BMVC
2001
15 years 9 months ago
Reactive Memories: An Interactive Talking-Head
We demonstrate a novel method for producing a synthetic talking head. The method is based on earlier work in which the behaviour of a synthetic individual is generated by referenc...
Vincent E. Devin, David Hogg