Search Sciweavers | Sciweavers

10568 search results - page 150 / 2114

» Computer Intelligence and Formalization

125

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

16 years 24 days ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

145

click to vote

WILF
2007
Springer

92views Fuzzy Logic» more WILF 2007»

Measuring the Interpretive Cost in Fuzzy Logic Computations

16 years 23 days ago

Download www.dsi.uclm.es

Pascual Julián, Ginés Moreno, Jaime ...

claim paper

Read More »

114

click to vote

ACRI
2006
Springer

100views Artificial Intelligence» more ACRI 2006»

Scale-Free Automata Networks Are Not Robust in a Collective Computational Task

16 years 20 days ago

Download acri2006.univ-perp.fr

Christian Darabos, Mario Giacobini, Marco Tomassin...

claim paper

Read More »

102

click to vote

ATAL
2004
Springer

70views Intelligent Agents» more ATAL 2004»

Pattern Formation in Mobile Computational Particles with Minimal Capabilities

16 years 2 days ago

Download www.ia.urjc.es

Matteo Vasirani, Marco Mamei, Franco Zambonelli

claim paper

Read More »

134

click to vote

CP
2004
Springer

82views Artificial Intelligence» more CP 2004»

On-Demand Bound Computation for Best-First Constraint Optimization

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers