11168 search results - page 1717 / 2234 » Abstract State Processes |
107
click to vote
FS
2010
15 years 3 months ago
2010
Abstract Consider discrete time observations (X δ)1≤ ≤n+1 of the process X satisfying dXt = √ VtdBt, with Vt a one-dimensional positive diffusion process independent of the...
116
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
119
click to vote
ICGI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...
140
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
156
click to vote
IJCV
2010
15 years 2 months ago
2010
Abstract Constructing correspondencesbetween points characterizing one shape with those characterizing another is crucial to understanding what the two shapes have in common. These...