642 search results - page 31 / 129 » Probabilistic Models of Verb-Argument Structure |
113
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
123
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper proposes a new framework for image segmentation based on the integration of MRFs and deformable models using graphical models. We first construct a graphical model to r...
109
click to vote
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
A major challenge in developing models for hypertext retrieval is to effectively combine content information with the link structure available in hypertext collections. Although s...
136
click to vote
SIGIR
2011
ACM
14 years 4 months ago
2011
ACM
Online forum discussions are emerging as valuable information repository, where knowledge is accumulated by the interaction among users, leading to multiple threads with structure...
138
click to vote
VLSID
2006
IEEE
16 years 2 months ago
2006
IEEE
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...