1709 search results - page 234 / 342 » Precise Modeling of Design Patterns |
87
Voted
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
157
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
143
click to vote
UAI
2007
15 years 2 months ago
2007
The traditional approach to building Bayesian networks is to build the graphical structure using a graphical editor and then add probabilities using a separate spreadsheet for eac...
121
click to vote
DMIN
2006
15 years 3 months ago
2006
are proposing a model to help organizations detect and prevent cheats in online assessments. First we analyze different student personalities, stress situations generated by onlin...
152
click to vote
COLING
1996
15 years 3 months ago
1996
A domain independent model is proposed for the automated interpretation of nominal compounds in English. This model is meant to account for productive rules of interpretation whic...