10568 search results - page 564 / 2114 » Computer Intelligence and Formalization |
132
Voted
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper investigates the communication system of honeybees with the purpose of obtaining an intelligent approach for threedimensional reconstruction. A new framework i...
185
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
This article tries to give an answer to a fundamental question in temporal data mining: "Under what conditions a temporal rule extracted from up-to-date temporal data keeps i...
199
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
213
click to vote
CEFP
2007
Springer
16 years 19 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
179
click to vote
CMSB
2004
Springer
15 years 12 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...