3113 search results - page 614 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
107
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: In order to interpret the results obtained from a microarray experiment, researchers often shift focus from analysis of individual differentially expressed genes to an...
114
click to vote
CSCW
2011
ACM
14 years 4 months ago
2011
ACM
Collaboration is key to safety and efficiency in Air Traffic Control. Legacy paper-based systems enable seamless and non-verbal collaboration, but trends in new software and hardw...
112
click to vote
JAIR
2010
14 years 4 months ago
2010
Intrusion detection systems (IDSs) fall into two high-level categories: network-based systems (NIDS) that monitor network behaviors, and host-based systems (HIDS) that monitor sys...
129
click to vote
JIPS
2010
14 years 4 months ago
2010
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...
JSAT
2010
14 years 4 months ago
2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...