Sciweavers

4209 search results - page 544 / 842
» Abstract Dialectical Frameworks
Sort
View
SQJ
2002
90views more  SQJ 2002»
15 years 4 months ago
Critical Analysis of the PIE Testability Technique
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...
Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider ...
TIT
2002
63views more  TIT 2002»
15 years 4 months ago
Compressing quantum mixed-state sources by sending classical information
Abstract--We consider visible compression for discrete memoryless sources of mixed quantum states when only classical information can be sent from Alice to Bob. We assume that Bob ...
Emina Soljanin
UAIS
2002
100views more  UAIS 2002»
15 years 4 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
CONCURRENCY
2008
98views more  CONCURRENCY 2008»
15 years 4 months ago
An ontology-based approach to handling information quality in e-Science
context. In contrast to previous approaches that take a very abstract view of IQ properties, we allow scientists to define the quality characteristics that are of importance to the...
Alun D. Preece, Paolo Missier, Suzanne M. Embury, ...
RAS
2008
140views more  RAS 2008»
15 years 4 months ago
Conceptual spatial representations for indoor mobile robots
We present an approach for creating conceptual representations of human-made indoor environments using mobile robots. The concepts refer to spatial and functional properties of ty...
Hendrik Zender, Óscar Martínez Mozos...