Sciweavers

391 search results - page 11 / 79
» Code Improvements for Model Elimination Based Reasoning Syst...
Sort
View
JAIR
2010
130views more  JAIR 2010»
13 years 6 months ago
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
Bonny Banerjee, B. Chandrasekaran
ECRTS
2008
IEEE
14 years 2 months ago
Predictable Code and Data Paging for Real Time Systems
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
Damien Hardy, Isabelle Puaut
SP
2000
IEEE
105views Security Privacy» more  SP 2000»
14 years 1 days ago
Open Source in Security: Visiting the Bizarre
Although open-source software development has virtues, there is reason to believe that the approach would not have a significant effect on the security of today’s systems. The ...
Fred B. Schneider
ICASSP
2008
IEEE
14 years 2 months ago
Modified polyphone decision tree specialization for porting multilingual Grapheme based ASR systems to new languages
Automatic speech recognition (ASR) systems have been developed only for a very limited number of the estimated 7,000 languages in the world. In order to avoid the evolvement of a ...
Sebastian Stüker
GLOBECOM
2008
IEEE
14 years 2 months ago
Multiple Antenna Assisted Hard Versus Soft Decoding-and-Forwarding for Network Coding Aided Relaying Systems
— In this paper, we propose two types of new decoding algorithms for a network coding aided relaying (NCR) system, which adopts multiple antennas at both the transmitter and rece...
Kyungchun Lee, Lajos Hanzo