4460 search results - page 276 / 892 » Formal methods for interactive systems |
213
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
Global view-dependent illumination phenomena, in particular reflections, greatly enhance the realism of computer-generated imagery. Current interactive rendering methods do not pr...
188
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Many systems require the setting of a large number of parameters. This is often a difficult and time consuming task, especially for novice users. A framework is presented to simp...
158
click to vote
GRAPHICSINTERFACE
2003
15 years 7 months ago
2003
Though realistic eulerian fluid simulation systems now provide believable movements, straightforward renderable surface representation, and affordable computation costs, they are...
209
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Automated extraction of protein-protein interactions (PPI) is an important and widely studied task in biomedical text mining. We propose a graph kernel based approach ...
166
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...