Sciweavers

7058 search results - page 629 / 1412
» Modelling Business Process Performance
Sort
View
COMPSAC
2002
IEEE
16 years 15 days ago
The Method of Software Reliability Growth Models Choice Using Assumptions Matrix
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
Vyacheslav S. Kharchenko, O. M. Tarasyuk, Vladimir...
CAV
2009
Springer
116views Hardware» more  CAV 2009»
16 years 5 days ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
ICMI
2000
Springer
172views Biometrics» more  ICMI 2000»
15 years 11 months ago
Combining Skin Color Model and Neural Network for Rotation Invariant Face Detection
Face detection is a key problem in human-computer interaction. In this paper, we present an algorithm for rotation invariant face detection in color images of cluttered scenes. It ...
Hongming Zhang, Debin Zhao, Wen Gao, Xilin Chen
EUROS
2008
194views Robotics» more  EUROS 2008»
15 years 9 months ago
Compiling POMDP Models for a Multimodal Service Robot from Background Knowledge
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...
Sven R. Schmidt-Rohr, Rainer Jäkel, Martin L&...
ACL
2008
15 years 9 months ago
A Single Generative Model for Joint Morphological Segmentation and Syntactic Parsing
Morphologicalprocesses in Semitic languages deliver space-delimited words which introduce multiple, distinct, syntactic units into the structure of the input sentence. These words...
Yoav Goldberg, Reut Tsarfaty