Sciweavers

4150 search results - page 268 / 830
» A Practical Approach to Model Extension
Sort
View
128
Voted
COLING
2002
15 years 4 months ago
A Novel Disambiguation Method for Unification-Based Grammars Using Probabilistic Context-Free Approximations
We present a novel disambiguation method for unification-based grammars (UBGs). In contrast to other methods, our approach obviates the need for probability models on the UBG side...
Bernd Kiefer, Hans-Ulrich Krieger, Detlef Prescher
CVPR
2003
IEEE
16 years 6 months ago
Implicit Meshes for Modeling and Reconstruction
Explicit surfaces, such as triangulations or wireframe models, have been extensively used to represent the deformable 3?D models that are used to fit 3?D point and 2?D silhouette ...
Slobodan Ilic, Pascal Fua
123
Voted
3DPVT
2006
IEEE
156views Visualization» more  3DPVT 2006»
15 years 10 months ago
Large-Scale Modeling of Parametric Surfaces Using Spherical Harmonics
We present an approach for large-scale modeling of parametric surfaces using spherical harmonics (SHs). A standard least square fitting (LSF) method for SH expansion is not scala...
Li Shen, Moo K. Chung
ASP
2001
Springer
15 years 9 months ago
Answer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
Keijo Heljanko, Ilkka Niemelä
139
Voted
BIB
2007
139views more  BIB 2007»
15 years 4 months ago
Petri net modelling of biological networks
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
Claudine Chaouiya