Sciweavers

618 search results - page 94 / 124
» Meaning and Partiality Revised
Sort
View
DB
2008
107views more  DB 2008»
13 years 10 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
IJAR
2008
114views more  IJAR 2008»
13 years 10 months ago
A definition of subjective possibility
: Based on the setting of exchangeable bets, this paper proposes a subjectivist view of numerical possibility theory. It relies on the assumption that when an agent constructs a pr...
Didier Dubois, Henri Prade, Philippe Smets
IJVR
2008
169views more  IJVR 2008»
13 years 10 months ago
Agent Architecture for a Real World Autonomous Virtual Guide: Interaction between the Decision and Perception Processes and Envi
Museums like marine aquariums are facing a difficult problem when trying to deliver information to their visitors. The exhibits they propose are dynamic by definition. Each may con...
Morgan Veyret, Eric Maisel, Jacques Tisseau
JEC
2006
61views more  JEC 2006»
13 years 10 months ago
Time-constrained loop scheduling with minimal resources
Many applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). In our previous work, we proposed a ...
Timothy W. O'Neil, Edwin Hsing-Mean Sha
JUCS
2006
77views more  JUCS 2006»
13 years 10 months ago
A New System Dedicated to Real-time Cardiac Arrhythmias Tele-assistance and Monitoring
: More than 60,000 people die suddenly each year in France due to cardiac arrhythmias. The current techniques used to diagnose cardiac arrhythmias such as HOLTER, R.TEST and teleme...
Haiying Zhou, Kun Mean Hou, Laurent Gineste, Chris...