Sciweavers

3299 search results - page 104 / 660
» A general mathematics of names
Sort
View
ICIAP
2003
ACM
15 years 11 months ago
Painting crack elimination using viscous morphological reconstruction
A method for the elimination of cracks in infrared reflectograms is presented. Infrared reflectograms show the underdrawing – the basic concept of the artist drawn on the grou...
Allan Hanbury, Paul Kammerer, Ernestine Zolda
HAPTICS
2010
IEEE
15 years 11 months ago
Preliminary Evaluation of a Haptic Aiding Concept for Remotely Piloted Vehicles
This paper shows a preliminary experimental evaluation of a novel haptic aiding for Remotely Piloted Vehicles. The aerodynamically-inspired haptic feedback law was named Convention...
Samantha M. C. Alaimo, Lorenzo Pollini, Alfredo Ma...
WAIFI
2010
Springer
189views Mathematics» more  WAIFI 2010»
15 years 11 months ago
Delaying Mismatched Field Multiplications in Pairing Computations
Abstract. Miller’s algorithm for computing pairings involves performing multiplications between elements that belong to different finite fields. Namely, elements in the full e...
Craig Costello, Colin Boyd, Juan Manuel Gonz&aacut...
CONCUR
2001
Springer
15 years 10 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
CAISE
2000
Springer
15 years 10 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis