Search Sciweavers | Sciweavers

29046 search results - page 132 / 5810

» Computable Models

147

click to vote

ICLP
2009
Springer

137views Automated Reasoning» more ICLP 2009»

An Engine for Computing Well-Founded Models

15 years 11 months ago

Download www.cs.sunysb.edu

The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...

Terrance Swift

claim paper

Read More »

click to vote

DATE
2009
IEEE

72views Hardware» more DATE 2009»

SC-DEVS: An efficient SystemC extension for the DEVS model of computation

15 years 11 months ago

Download www.date-conference.com

Felix Madlener, H. Gregor Molter, Sorin A. Huss

claim paper

Read More »

138

click to vote

IROS
2009
IEEE

148views Robotics» more IROS 2009»

A computer vision integration model for a multi-modal cognitive system

15 years 11 months ago

Download cogx.eu

— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...

Alen Vrecko, Danijel Skocaj, Nick Hawes, Ales Leon...

claim paper

Read More »

107

Voted

ISAAC
2009
Springer

90views Algorithms» more ISAAC 2009»

General Pseudo-random Generators from Weaker Models of Computation

15 years 11 months ago