Sciweavers

2790 search results - page 36 / 558
» A generative theory of relevance
Sort
View
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
15 years 6 months ago
Online trajectory generation in an amphibious snake robot using a lamprey-like central pattern generator model
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
Auke Jan Ijspeert, Alessandro Crespi
WSPI
2004
15 years 1 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...
CSL
2009
Springer
15 years 6 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
SSS
2009
Springer
143views Control Systems» more  SSS 2009»
15 years 6 months ago
Self Adaptive High Interaction Honeypots Driven by Game Theory
High-interaction honeypots are relevant to provide rich and useful information obtained from attackers. Honeypots come in different flavors with respect to their interaction pote...
Gérard Wagener, Radu State, Alexandre Dulau...
DBPL
2001
Springer
133views Database» more  DBPL 2001»
15 years 4 months ago
A Theory of Spatio-Temporal Database Queries
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
Floris Geerts, Sofie Haesevoets, Bart Kuijpers