10633 search results - page 1548 / 2127 » Relating Distributed Objects |
134
click to vote
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
146
click to vote
WEBDB
2000
Springer
15 years 8 months ago
2000
Springer
The World Wide Web promises to transform human society by making virtually all types of information instantly available everywhere. Two prerequisites for this promise to be realiz...
159
click to vote
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
Atheoreticalframeworkisintroducedfortheperceptionofspecularsurfacegeometry.Whenanobserver moves in three-dimensional space, real scene features such as surface markings remain stat...
146
click to vote
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper presents a framework for implicit deformable models and a pair of new algorithms for solving the nonlinear partial di erential equations that result from this framework...
125
click to vote
NGITS
1995
Springer
15 years 8 months ago
1995
Springer
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...