Search Sciweavers | Sciweavers

1451 search results - page 6 / 291

» Order independence and rationalizability

click to vote

BSL
2005

106views more BSL 2005»

Compactness and independence in non first order frameworks

13 years 8 months ago

Download math.univ-lyon1.fr

This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...

Itay Ben-Yaacov

claim paper

Read More »

click to vote

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

A Backtracking Strategy for Order-Independent Incremental Learning

14 years 1 months ago

Download www.di.uniba.it

Agents that exist in an environment that changes over time, and are able to take into account the temporal nature of experience, are commonly called incremental learners. It is wid...

Nicola Di Mauro, Floriana Esposito, Stefano Ferill...

claim paper

Read More »

click to vote

CGF
2004

93views more CGF 2004»

Instant Volumetric Understanding with Order-Independent Volume Rendering

13 years 8 months ago

Download www.ecn.purdue.edu

Rapid, visual understanding of volumetric datasets is a crucial outcome of a good volume rendering application, but few current volume rendering systems deliver this result. Our g...

Benjamin Mora, David S. Ebert

claim paper

Read More »

click to vote

DAC
1999
ACM

119views Computer Architecture» more DAC 1999»

MERLIN: Semi-Order-Independent Hierarchical Buffered Routing Tree Generation Using Local Neighborhood Search

14 years 9 months ago