Sciweavers

8056 search results - page 1258 / 1612
» Object Behavior Analysis
Sort
View
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
15 years 8 months ago
NetQi: A Model Checker for Anticipation Game
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
Elie Bursztein
EVOW
2008
Springer
15 years 8 months ago
Composing Music with Neural Networks and Probabilistic Finite-State Machines
In this paper, biological (human) music composition systems based on Time Delay Neural Networks and Ward Nets and on a probabilistic Finite-State Machine will be presented. The sys...
Tomasz Michal Oliwa, Markus Wagner
BCSHCI
2007
15 years 8 months ago
Ten emotion heuristics: guidelines for assessing the user's affective dimension easily and cost-effectively
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...
Eva de Lera, Muriel Garreta Domingo
BILDMED
2008
15 years 8 months ago
Filtering, Segmentation and Feature Extraction in Ultrasound Evaluation of Breast Lesions
The early diagnosis of breast cancer depends in many cases on the analysis of medical imaging, mainly mammography, ultrasonography and MRI. This work deals with ultrasound images i...
Miguel Alemán-Flores, Patricia Alemá...
DAGSTUHL
2007
15 years 8 months ago
Control Patterns in a Health Care Network
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...
Vera Kartseva, Joris Hulstijn, Jaap Gordijn, Yao-H...
« Prev « First page 1258 / 1612 Last » Next »