Sciweavers

647 search results - page 84 / 130
» On the Universal Generation of Mobility Models
Sort
View
CORR
2007
Springer
141views Education» more  CORR 2007»
13 years 7 months ago
Managing Uncertainty: A Case for Probabilistic Grid Scheduling
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat
FPL
2010
Springer
168views Hardware» more  FPL 2010»
13 years 5 months ago
Pipelined FPGA Adders
Integer addition is a universal building block, and applications such as quad-precision floating-point or elliptic curve cryptography now demand precisions well beyond 64 bits. Thi...
Florent de Dinechin, Hong Diep Nguyen, Bogdan Pasc...
LLC
2011
167views more  LLC 2011»
13 years 2 months ago
Computational Phonology - Part II: Grammars, Learning, and the Future
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
Jeffrey Heinz
FOSSACS
2005
Springer
14 years 1 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
AVI
2006
13 years 9 months ago
Mixed reality: a model of mixed interaction
Mixed reality systems seek to smoothly link the physical and data processing (digital) environments. Although mixed reality systems are becoming more prevalent, we still do not ha...
Céline Coutrix, Laurence Nigay