Sciweavers

3394 search results - page 216 / 679
» Regular Object Types
Sort
View
IJPP
2011
107views more  IJPP 2011»
15 years 29 days ago
Parallel Iterator for Parallelizing Object-Oriented Applications
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen
DASFAA
2011
IEEE
311views Database» more  DASFAA 2011»
14 years 10 months ago
3D Indoor Route Planning for Arbitrary-Shape Objects
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
Wenjie Yuan, Markus Schneider
TOG
2012
188views Communications» more  TOG 2012»
13 years 9 months ago
Deformable objects alive!
We present a method for controlling the motions of active deformable characters. As an underlying principle, we require that all motions be driven by internal deformations. We ach...
Stelian Coros, Sebastian Martin, Bernhard Thomasze...
TPHOL
2003
IEEE
15 years 11 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
CJ
2006
111views more  CJ 2006»
15 years 6 months ago
Relational Formalism for the Management of Spatial Data
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
Nikos A. Lorentzos, Jose Ramon Rios Viqueira