Sciweavers

2648 search results - page 302 / 530
» Worlds, Models, and KM
Sort
View
CEC
2009
IEEE
16 years 1 months ago
Active categorical perception in an evolved anthropomorphic robotic arm
— Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a cognitive process whereby t...
Elio Tuci, Gianluca Massera, Stefano Nolfi
KBSE
2009
IEEE
16 years 1 months ago
Loopfrog: A Static Analyzer for ANSI-C Programs
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
Daniel Kroening, Natasha Sharygina, Stefano Tonett...
AIIA
2009
Springer
16 years 1 months ago
Relational Temporal Data Mining for Wireless Sensor Networks
Wireless sensor networks (WSNs) represent a typical domain where there are complex temporal sequences of events. In this paper we propose a relational framework to model and analys...
Teresa Maria Altomare Basile, Nicola Di Mauro, Ste...
CANDC
2009
ACM
16 years 1 months ago
Growing and destroying the worth of ideas
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
Ricardo Sosa, John S. Gero, Kyle Jennings
WOWMOM
2009
ACM
143views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
Enhanced Ripple (E-Ripple) protocol for chain-based multihop wireless networks
It has been shown that IEEE 802.11 DCF medium access control (MAC) protocol may not be suitable for multihop wireless networks due to its relatively low throughput and severely un...
Quang Vu Nguyen, Ray-Guang Cheng