Sciweavers

15792 search results - page 3143 / 3159
» Computational Abstraction Steps
Sort
View
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 5 months ago
Shortest path problem in rectangular complexes of global nonpositive curvature
Abstract. CAT(0) metric spaces constitute a far-reaching common generalization of Euclidean and hyperbolic spaces and simple polygons: any two points x and y of a CAT(0) metric spa...
Victor Chepoi, Daniela Maftuleac
CORR
2010
Springer
110views Education» more  CORR 2010»
13 years 5 months ago
Provenance and evidence in UniProtKB
Abstract. The primary mission of UniProt is to support biological research by maintaining a stable, comprehensive, fully classified, richly and accurately annotated protein sequenc...
Jerven Bolleman, Alain Gateau, Sebastien Gehant, N...
FUIN
2010
136views more  FUIN 2010»
13 years 5 months ago
Modeling Biology using Generic Reactive Animation
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
Yaki Setty, Irun R. Cohen, David Harel
AROBOTS
2011
13 years 2 months ago
Time-extended multi-robot coordination for domains with intra-path constraints
Abstract— Many applications require teams of robots to cooperatively execute complex tasks. Among these domains are those where successful coordination solutions must respect con...
Edward Gil Jones, M. Bernardine Dias, Anthony Sten...
AISS
2010
146views more  AISS 2010»
13 years 2 months ago
Zatara, the Plug-in-able Eventually Consistent Distributed Database
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
Bogdan Carstoiu, Dorin Carstoiu
« Prev « First page 3143 / 3159 Last » Next »