Sciweavers

193 search results - page 9 / 39
» Partial Solutions with Unique Completion
Sort
View
90
Voted
ISSAC
2005
Springer
77views Mathematics» more  ISSAC 2005»
15 years 9 months ago
Picard--Vessiot extensions for linear functional systems
Picard-Vessiot extensions for ordinary differential and difference equations are well known and are at the core of the associated Galois theories. In this paper, we construct fu...
Manuel Bronstein, Ziming Li, Min Wu
127
Voted
IFL
2007
Springer
141views Formal Methods» more  IFL 2007»
15 years 9 months ago
Partial Parsing: Combining Choice with Commitment
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
Malcolm Wallace
140
Voted
ICTAI
2000
IEEE
15 years 7 months ago
Building efficient partial plans using Markov decision processes
Markov Decision Processes (MDP) have been widely used as a framework for planning under uncertainty. They allow to compute optimal sequences of actions in order to achieve a given...
Pierre Laroche
249
Voted
ICDE
2009
IEEE
160views Database» more  ICDE 2009»
16 years 5 months ago
MatchUp: Autocompletion for Mashups
A mashup is a Web application that integrates data, computation and GUI provided by several systems into a unique tool. The concept originated from the understanding that the numbe...
Serge Abiteboul, Ohad Greenshpan, Tova Milo, Neokl...
124
Voted
ICASSP
2009
IEEE
15 years 10 months ago
A PDE characterization of the intrinsic mode functions
For the first time, a proof of the sifting process (SP) and so the empirical mode decomposition (EMD), is given. For doing this, lower and upper envelopes are modeled in a more c...
El-Hadji Samba Diop, R. Alexandre, Abdel-Ouahab Bo...