1180 search results - page 39 / 236 » A generic structure-from-motion framework |
ICLP
1998
Springer
14 years 2 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...
AMAST
2008
Springer
13 years 12 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
COMPSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
CLA
2004
13 years 11 months ago
2004
Traditional framework for mining association rules has pointed out the derivation of many redundant rules. In order to be reliable in a decision making process, such discovered rul...