3113 search results - page 614 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
154
Voted
BMCBI
2011
14 years 10 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...
167
Voted
CSCW
2011
ACM
14 years 10 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...
176
Voted
JAIR
2010
14 years 10 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...
195
Voted
JIPS
2010
14 years 10 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...
151
Voted
JSAT
2010
14 years 10 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...