Sciweavers

2552 search results - page 392 / 511
» Development of an evaluation model for Question Answering Sy...
Sort
View
INFORMS
1998
150views more  INFORMS 1998»
15 years 5 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
GLOBECOM
2007
IEEE
15 years 10 months ago
On Optimal Admission Control for Multi-Service Cellular/WLAN Interworking
Abstract-- The complementary characteristics of cellular systems and wireless local area networks (WLANs) make them attractive candidates to jointly offer a seamless wireless solut...
Enrique Stevens-Navarro, Amir Hamed Mohsenian Rad,...
BMCBI
2010
178views more  BMCBI 2010»
15 years 6 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
USS
2008
15 years 8 months ago
CloudAV: N-Version Antivirus in the Network Cloud
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
Jon Oberheide, Evan Cooke, Farnam Jahanian
IEEEARES
2007
IEEE
16 years 11 days ago
From Trust to Dependability through Risk Analysis
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
Yudistira Asnar, Paolo Giorgini, Fabio Massacci, N...