Sciweavers

3724 search results - page 301 / 745
» Timed regular expressions
Sort
View
ICLP
1990
Springer
15 years 10 months ago
On Warren's Method for Functional Programming in Logic
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
Mantis H. M. Cheng, Maarten H. van Emden, B. E. Ri...
DEBS
2007
ACM
15 years 10 months ago
The arbitrary Boolean publish/subscribe model: making the case
In this paper, we present BoP, a content-based publish/subscribe system for arbitrary Boolean subscriptions and advertisements. BoP targets at the time and space-efficient matchin...
Sven Bittner, Annika Hinze
ICPP
1991
IEEE
15 years 10 months ago
Cache Coherence on a Slotted Ring
-- The Express Ring is a new architecture under investigation at the University of Southern California. Its main goal is to demonstrate that a slotted unidirectional ring with very...
Luiz André Barroso, Michel Dubois
FLAIRS
2007
15 years 9 months ago
Playing with Cases: Tempo Transformations of Jazz Performances Using Case-Based Reasoning
The research described here focuses on global tempo transformations of monophonic recordings of saxophone jazz performances. We have investigated the problem of how a performance ...
Ramon López de Mántaras, Maarten Gra...
UAI
2004
15 years 8 months ago
Computing Nash Equilibria of Action-Graph Games
Action-graph games (AGGs) are a fully expressive game representation which can compactly express both strict and context-specific independence between players' utility functi...
Navin A. R. Bhat, Kevin Leyton-Brown