Sciweavers

1908 search results - page 213 / 382
» Capability Models and Their Applications in Planning
Sort
View
CGI
2004
IEEE
15 years 10 months ago
Visualizing Sunsets through Inhomogeneous Atmospheres
In this paper, it is described a method of curved ray tracing capable of depicting phenomena that arise, under certain conditions, when light propagates through an inhomogeneous a...
Francisco J. Serón, Diego Gutierrez, Guille...
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
AUSAI
2009
Springer
16 years 1 months ago
Information-Theoretic Image Reconstruction and Segmentation from Noisy Projections
The minimum message length (MML) principle for inductive inference has been successfully applied to image segmentation where the images are modelled by Markov random fields (MRF)....
Gerhard Visser, David L. Dowe, Imants D. Svalbe
ETFA
2006
IEEE
16 years 19 days ago
Integrating Inaccessibility Control and Timer Management in CANELy
The CAN Enhanced Layer (CANELy) is a CAN-based infrastructure capable of extremely reliable communication. This paper describes the mechanisms and the techniques used in CANELy to...
José Rufino, Paulo Veríssimo, Carlos...
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 10 months ago
Automotive databus simulation using VHDL
developed and standardised, for example CAN[1][2], J1850[3]. THE ELECTRONIC VEHICLE TODAYVHDL has been used to develop a simulator for automotive databus networks. This is a design...
Karen Hale