4460 search results - page 270 / 892 » Formal methods for interactive systems |
172
click to vote
NAR
2008
15 years 6 months ago
2008
Arabidopsis thaliana Protein Interactome Database (AtPID) is an object database that integrates data from several bioinformatics prediction methods and manually collected informat...
156
click to vote
IJCAI
1997
15 years 7 months ago
1997
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
170
Voted
ISRR
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents our experience towards the conception of a virtual reality medical simulator coupled with haptic interaction aimed at training surgeons. This area of research h...
162
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The identification of groups of co-regulated genes and their transcription factors, called transcriptional modules, has been a focus of many studies about biological s...
159
click to vote
IWEC
2010
15 years 7 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...