2702 search results - page 511 / 541 » Practically Applicable Formal Methods |
ICIP
1994
IEEE
14 years 5 days ago
1994
IEEE
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Nitrogen is one of the most important chemical intakes to ensure the healthy growth of agricultural crops. However, some environmental concerns emerge (soil and water pollution) w...
AIPS
2008
13 years 10 months ago
2008
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...
WSC
2007
13 years 10 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
AUSDM
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents an application of association rule mining in compliance in the context of health service management. There are approximately 500 million transactions processed...