333 search results - page 2 / 67 » Labels from Reductions: Towards a General Theory |
ACL
2008
13 years 6 months ago
2008
This paper presents a semi-supervised training method for linear-chain conditional random fields that makes use of labeled features rather than labeled instances. This is accompli...
PCI
2001
Springer
13 years 9 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
FUIN
2006
13 years 5 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
APN
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
ICCV
2007
IEEE
13 years 11 months ago
2007
IEEE
The image of a curved, specular (mirror-like) surface is a distorted reflection of the environment. The goal of our work is to develop a framework for recovering general shape fr...