3555 search results - page 517 / 711 » Security-Critical System Development with Extended Use Cases |
146
click to vote
SIGPLAN
1998
15 years 3 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
153
click to vote
JCC
2011
14 years 11 months ago
2011
Abstract: With today’s available computer power, free energy calculations from equilibrium molecular dynamics simulations “via counting” become feasible for an increasing num...
139
click to vote
NIPS
2004
15 years 5 months ago
2004
In many applications, good ranking is a highly desirable performance for a classifier. The criterion commonly used to measure the ranking quality of a classification algorithm is ...
128
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We consider the exploration/exploitation problem in reinforcement learning (RL). The Bayesian approach to model-based RL offers an elegant solution to this problem, by considering...
137
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...