Sciweavers

1677 search results - page 87 / 336
» On the Completeness of Quantum Computation Models
Sort
View
JSCIC
2010
61views more  JSCIC 2010»
14 years 8 months ago
Modeling the Early Ionization of Dielectrics by Ultrashort Laser Pulses
In this paper, we present a model for propagation of intense and ultrashort laser pulses ionizing dielectrics. We consider early ionization so that this process is sufficiently we...
Antoine Bourgeade, Candice Mézel, Olivier S...
CVPR
2007
IEEE
16 years 3 months ago
On-line Simultaneous Learning and Tracking of Visual Feature Graphs
Model learning and tracking are two important topics in computer vision. While there are many applications where one of them is used to support the other, there are currently only...
Arnaud Declercq, Justus H. Piater
ASM
2000
ASM
15 years 5 months ago
Modeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
Egon Börger, Alessandra Cavarra, Elvinia Ricc...
RTAS
2010
IEEE
14 years 11 months ago
Timing Analysis for TDMA Arbitration in Resource Sharing Systems
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
Andreas Schranzhofer, Jian-Jia Chen, Lothar Thiele
CPHYSICS
2008
123views more  CPHYSICS 2008»
15 years 1 months ago
wannier90: A tool for obtaining maximally-localised Wannier functions
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
Arash A. Mostofi, Jonathan R. Yates, Young-Su Lee,...