5692 search results - page 423 / 1139 » Challenges and Unsolved Problems |
149
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
186
click to vote
SG
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Bayesian nets (BNs) appeared in the 1980s as a solution to computational and representational problems encountered in knowledge representation of uncertain information. S...
156
click to vote
UM
2005
Springer
16 years 8 days ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
177
click to vote
ZUM
2005
Springer
16 years 8 days ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
160
click to vote
CPAIOR
2005
Springer
16 years 8 days ago
2005
Springer
Producing work schedules for airline crew normally results in individually different schedules. Some airlines do however want to give the same schedule to groups of people. The con...