Sciweavers

9719 search results - page 1723 / 1944
» Inference for Multiplicative Models
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 9 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
HSNMC
2003
Springer
120views Multimedia» more  HSNMC 2003»
15 years 9 months ago
Comparing Performance of SRAMT-LE Vs. Other Layered Encoding Schemes Regarding TCP Friendliness
In this paper we describe a hybrid sender and receiver-based adaptation scheme for multicast transmission of multimedia data using layered encoding, which we call SRAMT-LE (Sender-...
Christos Bouras, Apostolos Gkamas
HUMAN
2003
Springer
15 years 9 months ago
A Framework of Winner Determination Algorithms for Internet Auctions
Auctions have become popular in conducting trade negotiations on the Internet. The design of new auction formats and other negotiation protocols has become an important topic for r...
Juhnyoung Lee, Sang-goo Lee, Suekyung Lee
ICCS
2003
Springer
15 years 9 months ago
Virtual Telemetry for Dynamic Data-Driven Application Simulations
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
Craig C. Douglas, Yalchin Efendiev, Richard E. Ewi...
ECCV
2010
Springer
15 years 8 months ago
Anisotropic Minimal Surfaces Integrating Photoconsistency and Normal Information for Multiview Stereo
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...
« Prev « First page 1723 / 1944 Last » Next »