Search Sciweavers | Sciweavers

10568 search results - page 150 / 2114

» Computer Intelligence and Formalization

121

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

16 years 15 days ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

138

click to vote

WILF
2007
Springer

92views Fuzzy Logic» more WILF 2007»

Measuring the Interpretive Cost in Fuzzy Logic Computations

16 years 14 days ago

Download www.dsi.uclm.es

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

claim paper

Read More »

109

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 10 days ago

Download acri2006.univ-perp.fr

Christian Darabos, Mario Giacobini, Marco Tomassin...

claim paper

Read More »

click to vote

ATAL
2004
Springer

70views Intelligent Agents» more ATAL 2004»

Pattern Formation in Mobile Computational Particles with Minimal Capabilities

15 years 11 months ago

Download www.ia.urjc.es

Matteo Vasirani, Marco Mamei, Franco Zambonelli

claim paper

Read More »

126

click to vote

CP
2004
Springer

82views Artificial Intelligence» more CP 2004»

On-Demand Bound Computation for Best-First Constraint Optimization

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers