7167 search results - page 1178 / 1434 » A Technique for Invariant Generation |
250
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
RFID technology is gaining adoption on an increasing scale for tracking and monitoring purposes. Wide deployments of RFID devices will soon generate an unprecedented volume of dat...
150
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a new functionality of the Automatic Differentiation (AD) Tool tapenade. tapenade generates adjoint codes which are widely used for optimization or inverse prob...
195
click to vote
CTW
2006
15 years 7 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
191
click to vote
DATAMINE
2006
15 years 7 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
195
click to vote
IJCSA
2008
15 years 7 months ago
2008
ADAPTAPlan project provides dynamic assistance for reducing authors' effort in developing instructional design tasks using user modelling, planning and machine learning techn...