4460 search results - page 352 / 892 » Formal methods for interactive systems |
190
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Elucidating protein-protein interactions (PPIs) is essential to constructing protein interaction networks and facilitating our understanding of the general principles ...
209
click to vote
VR
1999
IEEE
15 years 11 months ago
1999
IEEE
The study of human-computer interaction within immersive virtual environments requires us to balance what we have learned from the design and use of desktop interfaces with novel ...
213
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Spatial clustering, which groups similar spatial objects into classes, is an important research topic in spatial data mining. Many spatial clustering methods have been developed re...
206
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
205
click to vote
CSFW
2005
IEEE
16 years 11 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...