13917 search results - page 136 / 2784 » Abstraction of Probabilistic Systems |
164
click to vote
IJCNLP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...
204
click to vote
PLDI
2004
ACM
16 years 9 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
181
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. A new exemplar-based probabilistic approach for face recognition in video sequences is presented. The approach has two stages: First, Exemplars, which are selected repres...
203
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In combinatorics, the probabilistic method is a very powerful tool to prove the existence of combinatorial objects with interesting and useful properties. Explicit constr...
162
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...