2409 search results - page 285 / 482 » Logical systems for structured specifications |
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...
125
click to vote
APWEB
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a web page fragmentation technique, which is utilized for extracting specific parts of web pages and building personalized portals using these fragments. It is ...
144
click to vote
ICSR
2004
Springer
15 years 9 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
148
click to vote
CISSE
2008
Springer
15 years 6 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
120
click to vote
NAACL
2004
15 years 5 months ago
2004
We present Minimum Bayes-Risk (MBR) decoding for statistical machine translation. This statistical approach aims to minimize expected loss of translation errors under loss functio...