Sciweavers

19130 search results - page 3379 / 3826
» Modelling multi-path problems
Sort
View
146
Voted
ADBIS
2000
Springer
91views Database» more  ADBIS 2000»
15 years 8 months ago
Efficient Region Query Processing by Optimal Page Ordering
A number of algorithms of clustering spatial data for reducing the number of disk seeks required to process spatial queries have been developed. One of the algorithms is the scheme...
Daesoo Cho, Bonghee Hong
160
Voted
COORDINATION
2000
Springer
15 years 8 months ago
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
Stéphane Ducasse, Thomas Hofmann, Oscar Nie...
FMCAD
2000
Springer
15 years 8 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu
FROCOS
2000
Springer
15 years 8 months ago
Handling Differential Equations with Constraints for Decision Support
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
Jorge Cruz, Pedro Barahona
HUMO
2000
Springer
15 years 8 months ago
Specialized Mappings and the Estimation of Human Body Pose from a Single Image
We present an approach for recovering articulated body pose from single monocular images using the Specialized Mappings Architecture (SMA), a non-linear supervised learning archit...
Rómer Rosales, Stan Sclaroff
« Prev « First page 3379 / 3826 Last » Next »