Sciweavers

3686 search results - page 146 / 738
» Comprehensive comprehensions
Sort
View
FORTE
2008
13 years 10 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
IADIS
2008
13 years 10 months ago
Simulation And Other Facilities To Learn Statistics
For several years, some teachers of the Statistics' Department at the University of Cordoba, with some last course of technical Industrial Engineering in Computer science pup...
José Diz Pérez, Manuel Jurado Bello
MOBIMEDIA
2007
13 years 10 months ago
Unequal error protection based on objective video evaluation model
Usually unequal error protection schemes mostly focus on protecting video data parameters with unequal rates or levels depending on their sensitivities to errors. This paper first...
Wen Ji, Yiqiang Chen, Min Chen, Yi Kang
AVI
2004
13 years 10 months ago
Identification and validation of cognitive design principles for automated generation of assembly instructions
Designing effective instructions for everyday products is challenging. One reason is that designers lack a set of design principles for producing visually comprehensible and acces...
Julie Heiser, Doantam Phan, Maneesh Agrawala, Barb...
CLA
2006
13 years 10 months ago
Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization of Input Data
The paper presents additional results on factorization by similarity of fuzzy concept lattices. A fuzzy concept lattice is a hierarchically ordered collection of clusters extracted...
Radim Belohlávek, Jan Outrata, Vilém...