1397 search results - page 245 / 280 » On the Need for Practical Formal Methods |
111
click to vote
3DPVT
2002
IEEE
15 years 9 months ago
2002
IEEE
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...
140
Voted
PDSE
2000
15 years 5 months ago
2000
The aim of this paper is to describe a generic interface through which a planning tool or design aid can be connected to a telecommunications network. In today's complex and ...
151
Voted
IJCV
2010
15 years 2 months ago
2010
We present an information theoretic approach to define the problem of structure from motion (SfM) as a blind source separation one. Given that for almost all practical joint densi...
149
Voted
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
With the adoption of ultra regular fabric paradigms for controlling design printability at the 22nm node and beyond, there is an emerging need for a layout-driven, pattern-based p...
156
Voted
CI
2011
14 years 11 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...