8828 search results - page 365 / 1766 » Formal methods in practice |
212
click to vote
IPCV
2008
15 years 8 months ago
2008
The main objective of this paper is to provide an efficient tool for delineating brain tumors in three-dimensional magnetic resonance images. To achieve this goal, we use basically...
172
click to vote
RIVF
2003
15 years 8 months ago
2003
— The en-route conflict resolution remains a major concern for Air Traffic Management (ATM), especially in core European airspace where the current Air Traffic Control (ATC) syst...
171
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider approximate policy evaluation for finite state and action Markov decision processes (MDP) in the off-policy learning context and with the simulation-based least square...
196
click to vote
AES
2007
Springer
15 years 7 months ago
2007
Springer
Pesticides used in crop production and herbicides used for weed control are the major source of nonpoint-source pollutants to groundwater. The movement and degradation of pesticid...
189
click to vote
IJBRA
2006
15 years 6 months ago
2006
: The standard practice in the analysis of promoters is to select promoter regions of convenient length. This may lead to false results when searching for Transcription Factor Bind...