745 search results - page 91 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
SCP
2008
13 years 7 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
: The aim of this paper is to compute of the generalized aspects, i.e. the maximal singularity-free domains in the Cartesian product of the joint space and workspace, for a planar ...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
BC
2007
13 years 7 months ago
2007
Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistab...
ICNP
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...