Sciweavers

7623 search results - page 299 / 1525
» Constructive Volume Modeling
Sort
View
PVLDB
2010
86views more  PVLDB 2010»
15 years 2 months ago
Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
Tom Schreiber, Simone Bonetti, Torsten Grust, Manu...
IROS
2009
IEEE
133views Robotics» more  IROS 2009»
15 years 11 months ago
Roadmap composition for multi-arm systems path planning
— This paper presents a new method for planning motions of multi-arm systems in constrained workspaces, for which state-of-the-art planners behave poorly. The method is based on ...
Mokhtar Gharbi, Juan Cortés, Thierry Sim&ea...
IGPL
2008
116views more  IGPL 2008»
15 years 4 months ago
Modal Matters for Interpretability Logics
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...
Evan Goris, Joost J. Joosten
ICSM
2005
IEEE
15 years 10 months ago
Strider: Configuration Modelling and Analysis of Complex Systems
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
Simon Lock
GISCIENCE
2004
Springer
175views GIS» more  GISCIENCE 2004»
15 years 9 months ago
From Objects to Events: GEM, the Geospatial Event Model
This paper discusses the construction of a modeling approach for dynamic geospatial domains based on the concepts of object and event. The paper shows how such a model extends tra...
Michael F. Worboys, Kathleen Hornsby