4341 search results - page 347 / 869 » Quantitative Model checking |
168
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The application of the Radio Frequency Identification (RFID) technology in the supply chain has experienced increased attention in academic research and practice. There is, howeve...
182
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper proposes an algorithm to deal with the feature selection in Gaussian mixture clustering by an iterative way: the algorithm iterates between the clustering and the un...
153
click to vote
RE
2004
Springer
16 years 3 days ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
172
click to vote
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...
170
click to vote
LREC
2008
15 years 8 months ago
2008
The Teko corpus composing model offers a decentralized, dynamic way of collecting high-quality text corpora for linguistic research. The resulting corpus consists of independent t...