Sciweavers

1329 search results - page 239 / 266
» Semantics of Architectural Connectors
Sort
View
ECAI
2010
Springer
13 years 10 months ago
Stream-Based Reasoning Support for Autonomous Systems
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
APIN
2008
102views more  APIN 2008»
13 years 10 months ago
Approximation-based feature selection and application for algae population estimation
This paper presents a data-driven approach for feature selection to address the common problem of dealing with high-dimensional data. This approach is able to handle the real-valu...
Qiang Shen, Richard Jensen
DKE
2010
167views more  DKE 2010»
13 years 10 months ago
The consistency extractor system: Answer set programs for consistent query answering in databases
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
Mónica Caniupán Marileo, Leopoldo E....
ENGL
2008
100views more  ENGL 2008»
13 years 10 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
CORR
2006
Springer
103views Education» more  CORR 2006»
13 years 10 months ago
Unifying Lexicons in view of a Phonological and Morphological Lexical DB
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
Federico Calzolari, Michele Mammini, Monica Monach...