Sciweavers

1776 search results - page 200 / 356
» Informational cascades in IT adoption
Sort
View
119
Voted
ICMCS
2000
IEEE
91views Multimedia» more  ICMCS 2000»
15 years 6 months ago
Streaming Video with Optimized Reconstruction-Based DCT
One fundamental problem with streaming video data over unreliable IP networks is that packets may be dropped or arrive too late for real-time playback. Traditional error-control s...
Xiao Su, Benjamin W. Wah
ISSRE
2000
IEEE
15 years 6 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
CONCUR
2000
Springer
15 years 6 months ago
LP Deadlock Checking Using Partial Order Dependencies
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
Victor Khomenko, Maciej Koutny
103
Voted
ASPDAC
1999
ACM
122views Hardware» more  ASPDAC 1999»
15 years 6 months ago
A Clustering Based Linear Ordering Algorithm for K-Way Spectral Partitioning
The spectral method can lead to a high quality of multi-way partition due to its ability to capture global netlist information. For spectral partition, n netlist modules are mappe...
Shiuann-Shiuh Lin, Wen-Hsin Chen, Wen-Wei Lin, Tin...
IPMU
2010
Springer
15 years 5 months ago
Credal Sets Approximation by Lower Probabilities: Application to Credal Networks
Abstract. Credal sets are closed convex sets of probability mass functions. The lower probabilities specified by a credal set for each element of the power set can be used as cons...
Alessandro Antonucci, Fabio Cuzzolin