5499 search results - page 366 / 1100 » Generalized Rewrite Theories |
184
Voted
APPML
2011
15 years 2 months ago
2011
We propose a general method to obtain the representation of solutions for linear fractional order differential equations based on the theory of (a, k)-regularized families of oper...
264
click to vote
MST
2011
15 years 2 months ago
2011
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...
190
click to vote
JDA
2010
15 years 2 months ago
2010
We present subexponential parameterized algorithms on planar graphs for a family of problems of the following shape: given a graph, find a connected (induced) subgraph with bounde...
300
click to vote
DEBS
2011
ACM
2011
ACM
DejaVu: a complex event processing system for pattern matching over live and historical data streams
14 years 11 months ago
This short paper provides an overview of the DejaVu complex event processing (CEP) system, with an emphasis on its novel architecture and query optimization techniques for correla...
173
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
This research examines the privacy comfort levels of participants if others can view traces of their web browsing activity. During a week-long field study, participants used an el...