Sciweavers

3457 search results - page 434 / 692
» A Symbol Is Not a Symbol
Sort
View
ICCV
1995
IEEE
15 years 10 months ago
Adaptive Shape Evolution Using Blending
We propose a shape representation scheme which allows two shapes to be combined into a single model. The desired regions of the two shapes are selected, and then merged together f...
Douglas DeCarlo, Dimitris N. Metaxas
181
Voted
PSLS
1995
15 years 10 months ago
Lazy Remote Procedure Call and its Implementation in a Parallel Variant of C
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
Marc Feeley
215
Voted
AIIA
1991
Springer
15 years 10 months ago
Approximate Entailment
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
Marco Cadoli, Marco Schaerf
DAC
1994
ACM
15 years 10 months ago
Probabilistic Analysis of Large Finite State Machines
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...
ACMIDC
2010
15 years 10 months ago
Digital inclusion in Chilean in rural schools
This paper analyzes conditions for improving digital inclusion in Chilean rural schools, using a multidimensional definition of digital divide. Using qualitative and quantitative ...
Jaime Sánchez