Sciweavers

29046 search results - page 132 / 5810
» Computable Models
Sort
View
ICLP
2009
Springer
15 years 10 months ago
An Engine for Computing Well-Founded Models
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
DATE
2009
IEEE
72views Hardware» more  DATE 2009»
15 years 10 months ago
SC-DEVS: An efficient SystemC extension for the DEVS model of computation
Felix Madlener, H. Gregor Molter, Sorin A. Huss
IROS
2009
IEEE
148views Robotics» more  IROS 2009»
15 years 9 months ago
A computer vision integration model for a multi-modal cognitive system
— 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...
BMEI
2008
IEEE
15 years 9 months ago
Computational Fluid Dynamics Modeling of Intracranial Aneurysms
Jialiang Chen, Shengzhang Wang, Wei Yao, Guanghong...