Sciweavers

3719 search results - page 407 / 744
» Pellet System Description
Sort
View
AVBPA
2001
Springer
119views Biometrics» more  AVBPA 2001»
16 years 5 days ago
Extended Model-Based Automatic Gait Recognition of Walking and Running
Gait is an emerging biometric. Current systems are either holistic or feature based and have been demonstrated to be able to recognise people by the way they walk. This paper descr...
Chew-Yean Yam, Mark S. Nixon, John N. Carter
KI
2001
Springer
16 years 3 days ago
DiKe - A Model-Based Diagnosis Kernel and Its Application
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
Gerhard Fleischanderl, Thomas Havelka, Herwig Schr...
UML
2001
Springer
16 years 2 days ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre
DEXAW
2000
IEEE
134views Database» more  DEXAW 2000»
16 years 2 days ago
"'Andreas Rauber'? Conference Pages Are over There, German Documents on the Lower Left, .." - An "Old-Fashioned" Approach to Web
With the massive advance of electronic document repositories, usable interfaces to these repositories gain importance. While sophisticated information retrieval techniques provide...
Andreas Rauber, Harald Bina
ECBS
2000
IEEE
99views Hardware» more  ECBS 2000»
16 years 2 days ago
Enhancing Architectural Mismatch Detection with Assumptions
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
Sebastián Uchitel, Daniel Yankelevich