Sciweavers

3907 search results - page 461 / 782
» Time, Knowledge, and Choice
Sort
View
INFOCOM
1997
IEEE
15 years 11 months ago
Addressing Network Survivability Issues by Finding the K-Best Paths through a Trellis Graph
Due to the increasing reliance of our society on the timely and reliable transfer of large quantities of information (suchas voice, data, and video)across high speed communication...
Stavros D. Nikolopoulos, Andreas Pitsillides, Davi...
VISUALIZATION
1997
IEEE
15 years 11 months ago
Image synthesis from a sparse set of views
We present an image synthesis methodology and a system built around it. Given a sparse set of photographs taken from unknown viewpoints, the system generates images from new, diff...
Qian Chen, Gérard G. Medioni
HICSS
1996
IEEE
105views Biometrics» more  HICSS 1996»
15 years 11 months ago
DEVS-C++: A High Performance Modelling and Simulation Environment
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
Bernard P. Zeigler, Yoonkeon Moon, Doohwan Kim, Je...
ICSE
1994
IEEE-ACM
15 years 11 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
151
Voted
ITP
2010
118views Mathematics» more  ITP 2010»
15 years 10 months ago
Formal Proof of a Wave Equation Resolution Scheme: The Method Error
Abstract. Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive...
Sylvie Boldo, François Clément, Jean...