Sciweavers

1055 search results - page 129 / 211
» Enumerations in computable structure theory
Sort
View
SPIESR
1993
125views Database» more  SPIESR 1993»
13 years 11 months ago
Self-Aligning and Compressed Autosophy Video Databases
Autosophy, an emerging new science, explains "Self-assembling Structures", such crystals or living trees, in mathematical terms. This research provides a new mathematica...
Klaus Holtz
ATAL
2010
Springer
13 years 11 months ago
Parameterizing the winner determination problem for combinatorial auctions
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
David Loker, Kate Larson
AROBOTS
2007
81views more  AROBOTS 2007»
13 years 10 months ago
Mobile robot team forming for crystallization of proteins
The process of protein crystallization is explained using the theory of robotics, particularly path planning of mobile robots. Path planning is a procedure which specifies motion ...
Yuan F. Zheng, Weidong Chen
ENTCS
2002
108views more  ENTCS 2002»
13 years 10 months ago
Bisimulation Relations for Dynamical and Control Systems
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
Esfandiar Haghverdi, Paulo Tabuada, George J. Papp...
CONIELECOMP
2011
IEEE
13 years 2 months ago
DSRP: Distributed SensorWeb Routing Protocol
—We propose a new multi-hop routing protocol for wireless sensor networks, suited for monitoring and control applications. The aim of this research is to adapt flat and hierarch...
Abhinav Valada, David Kohanbash, George Kantor