Sciweavers

2642 search results - page 354 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
115
Voted
APPROX
2007
Springer
86views Algorithms» more  APPROX 2007»
15 years 7 months ago
Lower Bounds for Swapping Arthur and Merlin
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
Scott Diehl
134
Voted
ICCBR
2010
Springer
15 years 7 months ago
Goal-Driven Autonomy with Case-Based Reasoning
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
Héctor Muñoz-Avila, Ulit Jaidee, Dav...
135
Voted
AAAI
2008
15 years 6 months ago
Constrained Classification on Structured Data
Most standard learning algorithms, such as Logistic Regression (LR) and the Support Vector Machine (SVM), are designed to deal with i.i.d. (independent and identically distributed...
Chi-Hoon Lee, Matthew R. G. Brown, Russell Greiner...
158
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
154
Voted
DAWAK
2008
Springer
15 years 5 months ago
Mining Multidimensional Sequential Patterns over Data Streams
Sequential pattern mining is an active field in the domain of knowledge discovery and has been widely studied for over a decade by data mining researchers. More and more, with the ...
Chedy Raïssi, Marc Plantevit