Sciweavers

4719 search results - page 543 / 944
» Spreadsheet functional programming
Sort
View
WSC
2007
15 years 7 months ago
Optimizing time warp simulation with reinforcement learning techniques
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
Jun Wang, Carl Tropper
CC
2008
Springer
137views System Software» more  CC 2008»
15 years 7 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
Francesco Logozzo, Manuel Fähndrich
AAAI
2010
15 years 6 months ago
Exploiting Monotonicity in Interval Constraint Propagation
We propose in this paper a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is sta...
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
CAINE
2006
15 years 6 months ago
A virtual reality system for hydroelectric generating unit maintenance training and understanding
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...
P. Alcides Jr., Manoel R. Filho, Fábio V. B...
WSCG
2001
108views more  WSCG 2001»
15 years 6 months ago
Using CORBA Middleware to Support the Development of Distributed Virtual Environment Applications
In this paper we report on using Common Object Request Broker Architecture (CORBA) middleware as a means of supporting the rapid development of Distributed Virtual Environment (DV...
S. Wilson, S. Sayers, M. D. J. McNeill