Sciweavers

2601 search results - page 349 / 521
» A Point in Many Triangles
Sort
View
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 10 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
SDE
1991
15 years 10 months ago
A Configurable Framework for Method and Tool Integration
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
Jeff Kramer, Anthony Finkelstein
SIGGRAPH
1991
ACM
15 years 10 months ago
Coping with friction for non-penetrating rigid body simulation
Algorithms and computational complexity measures for simulating the motion of contacting bodies with friction are presented. The bodies are restricted to be perfectly rigid bodies...
David Baraff
VLDB
1987
ACM
104views Database» more  VLDB 1987»
15 years 10 months ago
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
Georges Gardarin
BMVC
2002
15 years 9 months ago
Randomized RANSAC with T(d, d) test
Many computer vision algorithms include a robust estimation step where model parameters are computed from a data set containing a significant proportion of outliers. The RANSAC al...
Jiri Matas, Ondrej Chum