2970 search results - page 504 / 594 » A Model for the Visualization Exploration Process |
142
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
113
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
136
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Recently, mass spectrometry data have been mined using a genetic algorithm to produce discriminatory models that distinguish healthy individuals from those with cancer...
122
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper, we present an approach that applies the reinforcement learning principle to the problem of learning height control policies for aerial blimps. In contrast to pre...
126
Voted
SEMCO
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper focuses on the development of an event driven media sharing repository to facilitate community awareness. In this paper, an event refers to a real-world occurrence that...