Sciweavers

1247 search results - page 102 / 250
» Reasoning about Function Objects
Sort
View
SAC
2010
ACM
15 years 4 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
WEA
2010
Springer
241views Algorithms» more  WEA 2010»
15 years 4 months ago
A Branch-and-Price Algorithm for Multi-mode Resource Leveling
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
Eamonn T. Coughlan, Marco E. Lübbecke, Jens S...
ICCS
2003
Springer
15 years 3 months ago
A Method of Hidden Markov Model Optimization for Use with Geophysical Data Sets
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
Robert A. Granat
ICANNGA
2007
Springer
134views Algorithms» more  ICANNGA 2007»
14 years 11 months ago
Optical Design with Epsilon-Dominated Multi-objective Evolutionary Algorithm
Significant improvement over a patented lens design is achieved using multi-objective evolutionary optimization. A comparison of the results obtained from NSGA2 and ε-MOEA is done...
Shaine Joseph, Hyung W. Kang, Uday K. Chakraborty
ICAD
2004
14 years 11 months ago
Interaction Sound Feedback in a Haptic Virtual Environment to Improve Motor Skill Acquisition
This paper describes the concept and the realisation of a research prototype of a haptic environment that is enhanced with sound feedback to impart implicit knowledge and to teach...
Christian Müller-Tomfelde