1155 search results - page 78 / 231 » A Decision-Theoretic Model of Assistance |
122
click to vote
ICFP
2010
ACM
15 years 24 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
110
click to vote
ECRA
2002
14 years 11 months ago
2002
Existing e-commerce applications on the web provide the users a relatively simple, browser-based interface to access available products. Customers are not provided with the same s...
111
click to vote
ICML
2009
IEEE
16 years 16 days ago
2009
IEEE
Semi-supervised learning (SSL), is classification where additional unlabeled data can be used to improve accuracy. Generative approaches are appealing in this situation, as a mode...
ICSE
1995
IEEE-ACM
15 years 3 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
WSC
2004
15 years 1 months ago
2004
To assist the decision makers, we develop a new supply chain simulation software: Easy-SC, a Java-based tool that simplifies the supply chain simulation. In its current state of d...