Sciweavers

876 search results - page 112 / 176
» The next step - open prototyping
Sort
View
APPROX
2008
Springer
83views Algorithms» more  APPROX 2008»
14 years 11 months ago
Sampling Hypersurfaces through Diffusion
Abstract. We are interested in efficient algorithms for generating random samples from geometric objects such as Riemannian manifolds. As a step in this direction, we consider the ...
Hariharan Narayanan, Partha Niyogi
APPROX
2008
Springer
89views Algorithms» more  APPROX 2008»
14 years 11 months ago
Quantum and Randomized Lower Bounds for Local Search on Vertex-Transitive Graphs
We study the problem of local search on a graph. Given a real-valued black-box function f on the graph's vertices, this is the problem of determining a local minimum of f--a v...
Hang Dinh, Alexander Russell
BPM
2008
Springer
144views Business» more  BPM 2008»
14 years 11 months ago
Supporting Flexible Processes through Recommendations Based on History
Abstract. In today's fast changing business environment flexible Process Aware Information Systems (PAISs) are required to allow companies to rapidly adjust their business pro...
Helen Schonenberg, Barbara Weber, Boudewijn F. van...
CONCUR
2006
Springer
14 years 11 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
LREC
2010
174views Education» more  LREC 2010»
14 years 11 months ago
Towards the Integration of Language Tools Within Historical Digital Libraries
During the last years the campaign of mass digitization made available catalogues and valuable rare manuscripts and old printed books vie the Internet. The Manuscriptorium digital...
Cristina Vertan