Sciweavers

915 search results - page 107 / 183
» Towards caring machines
Sort
View
CCS
2007
ACM
14 years 2 months ago
An independent audit framework for software dependent voting systems
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
Sujata Garera, Aviel D. Rubin
CONCUR
2000
Springer
14 years 9 days ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
ISPAN
1997
IEEE
14 years 5 days ago
CASS: an efficient task management system for distributed memory architectures
The thesis of this research is that the task of exposing the parallelism in a given application should be left to the algorithm designer, who has intimate knowledge of the applica...
Jing-Chiou Liou, Michael A. Palis
CIDM
2007
IEEE
13 years 12 months ago
Identifying Anatomical Phrases in Clinical Reports by Shallow Semantic Parsing Methods
Natural Language Processing (NLP) is being applied for several information extraction tasks in the biomedical domain. The unique nature of clinical information requires the need fo...
Vijayaraghavan Bashyam, Ricky K. Taira
GECCO
2010
Springer
184views Optimization» more  GECCO 2010»
13 years 11 months ago
A mono surrogate for multiobjective optimization
Most surrogate approaches to multi-objective optimization build a surrogate model for each objective. These surrogates can be used inside a classical Evolutionary Multiobjective O...
Ilya Loshchilov, Marc Schoenauer, Michèle S...