11017 search results - page 325 / 2204 » Closure Systems and their Structure |
185
click to vote
AIME
2007
Springer
16 years 29 days ago
2007
Springer
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
169
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
150
click to vote
DBPL
2007
Springer
16 years 28 days ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
168
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...
204
click to vote
ACCV
2006
Springer
16 years 23 days ago
2006
Springer
We present a novel method to transfer speech animation recorded in low resolution videos onto realistic 3D facial models. Unsupervised learning is utilized on a speech video corpus...