Sciweavers

3724 search results - page 487 / 745
» Timed regular expressions
Sort
View
IPPS
2009
IEEE
16 years 1 months ago
Implementing OpenMP on a high performance embedded multicore MPSoC
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...
Barbara M. Chapman, Lei Huang, Eric Biscondi, Eric...
AIME
2009
Springer
16 years 1 months ago
Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
Gersende Georg, Hugo Hernault, Marc Cavazza, Helmu...
CPM
2009
Springer
137views Combinatorics» more  CPM 2009»
16 years 1 months ago
The Structure of Level-k Phylogenetic Networks
Evolution is usually described as a phylogenetic tree, but due to some exchange of genetic material, it can be represented as a phylogenetic network which has an underlying tree st...
Philippe Gambette, Vincent Berry, Christophe Paul
SEMWEB
2009
Springer
16 years 1 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
16 years 1 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...