Sciweavers

7366 search results - page 1140 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
ACMACE
2005
ACM
16 years 8 days ago
Achieving fairness in multiplayer network games through automated latency balancing
Over the past few years, the prominence of multiplayer network gaming has increased dramatically in the Internet. The effect of network delay (lag) on multiplayer network gaming h...
Sebastian Zander, Ian Leeder, Grenville J. Armitag...
FASE
2005
Springer
16 years 7 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
ISBI
2002
IEEE
15 years 11 months ago
Towards a clinically useful sonic flashlight
We have previously shown a new method of merging a direct view of the patient with an ultrasound image displayed in situ within the patient, using a half-silvered mirror. We call ...
George D. Stetten, Damion Shelton, Wilson Chang, V...
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
KDD
2007
ACM
182views Data Mining» more  KDD 2007»
16 years 7 months ago
Cleaning disguised missing data: a heuristic approach
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
Ming Hua, Jian Pei
« Prev « First page 1140 / 1474 Last » Next »