Sciweavers

11172 search results - page 321 / 2235
» Testing Physical Systems
Sort
View
CGI
2004
IEEE
15 years 10 months ago
Mixing Deformable and Rigid-Body Mechanics Simulation
This article presents a new method to achieve heterogeneous physical simulation, within the same global system, of both deformable and rigid-bodies objects, whatever their intrins...
Julien Lenoir, Sylvère Fonteneau
CHI
2005
ACM
16 years 7 months ago
Tuning and testing scrolling interfaces that automatically zoom
Speed dependent automatic zooming (SDAZ) is a promising refinement to scrolling in which documents are automatically zoomed-out as the scroll rate increases. By automatically zoom...
Andy Cockburn, Joshua Savage, Andrew Wallace
AIME
2005
Springer
16 years 7 days ago
Testing Asbru Guidelines and Protocols for Neonatal Intensive Care
: The automatic application of computerized guidelines and protocols in intensive care is not simple, given the high volume of data which must be processed and the need to offer ad...
Christian Fuchsberger, Jim Hunter, Paul McCue
LPNMR
2005
Springer
16 years 6 days ago
Testing Strong Equivalence of Datalog Programs - Implementation and Examples
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
Thomas Eiter, Wolfgang Faber, Patrick Traxler
SFP
2003
15 years 8 months ago
Testing Scheme programming assignments automatically
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
Manfred Widera