10159 search results - page 592 / 2032 » System Design Validation Using Formal Models |
186
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
141
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
169
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we propose two novel indices for type-2 fuzzy rule ranking to identify the most influential fuzzy rules in designing type-2 fuzzy logic systems, and name them a...
178
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We propose a multiple classifier system approach to object recognition in computer vision. The aim of the approach is to use multiple experts successively to prune the list of cand...
133
click to vote
LOCA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...