3780 search results - page 160 / 756 » Structured Relation Discovery using Generative Models |
150
Voted
ICDCSW
2000
IEEE
15 years 9 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
184
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We study the problem of generating plausible interpretations
of a scene from a collection of line segments automatically
extracted from a single indoor image. We show that
we ca...
139
Voted
WSC
1998
15 years 7 months ago
1998
Heuristics are an increasingly popular solution method for combinatorial optimization problems. Heuristic use often frees the modeler from some of the restrictions placed on class...
176
Voted
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
156
click to vote
VL
2008
IEEE
16 years 16 days ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...