Sciweavers

3616 search results - page 383 / 724
» Conditional Memory Ordering
Sort
View
LION
2009
Springer
112views Optimization» more  LION 2009»
15 years 10 months ago
A Graph-Based Semi-supervised Algorithm for Protein Function Prediction from Interaction Maps
Abstract. Protein function prediction represents a fundamental challenge in bioinformatics. The increasing availability of proteomics network data has enabled the development of se...
Valerio Freschi
134
Voted
AINA
2008
IEEE
15 years 10 months ago
A Protocol for Content-Based Communication in Disconnected Mobile Ad Hoc Networks
In content-based communication, information flows towards interested hosts rather than towards specifically set destinations. This new style of communication perfectly fits the...
Julien Haillot, Frédéric Guidec
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
15 years 10 months ago
Simultaneous observer based sensor diagnosis and speed estimation of Unmanned Aerial Vehicle
In this contribution we investigate the problem of simultaneous observer based sensor diagnosis and speed estimation of Unmanned Aerial Vehicle (UAV). The main features lie in the...
Hugues Rafaralahy, Edouard Richard, M. Boutayeb, M...
130
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
134
Voted
CSFW
2008
IEEE
15 years 10 months ago
DKAL: Distributed-Knowledge Authorization Language
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
Yuri Gurevich, Itay Neeman