1816 search results - page 224 / 364 » Formal Concepts of Learning Systems Validation in Use |
163
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
Product recommendation and decision support systems must generally develop a model of user preferences by querying or otherwise interacting with a user. Recent approaches to elici...
164
click to vote
ICFCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
157
click to vote
ICECCS
2005
IEEE
16 years 12 hour ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
177
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
177
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...