Sciweavers

736 search results - page 95 / 148
» Moving Specification Structures Between Logical Systems
Sort
View
BIOSYSTEMS
2008
146views more  BIOSYSTEMS 2008»
14 years 9 months ago
The autonomy of biological individuals and artificial models
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
Alvaro Moreno, Arantza Etxeberria, Jon Umerez
ICRA
2000
IEEE
163views Robotics» more  ICRA 2000»
15 years 1 months ago
The Anthropomorphic Biped Robot BIP2000
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
Bernard Espiau, Philippe Sardain
CIDR
2009
181views Algorithms» more  CIDR 2009»
14 years 10 months ago
The Case for RodentStore: An Adaptive, Declarative Storage System
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
Philippe Cudré-Mauroux, Eugene Wu, Samuel M...
DASFAA
2008
IEEE
137views Database» more  DASFAA 2008»
14 years 11 months ago
Efficient Mining of Recurrent Rules from a Sequence Database
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
David Lo, Siau-Cheng Khoo, Chao Liu 0001
AAAI
2006
14 years 11 months ago
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...
Yuanbo Guo, Abir Qasem, Jeff Heflin