2514 search results - page 465 / 503 » The use of industrial-strength formal methods |
141
click to vote
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
115
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
115
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...
123
click to vote
AFP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
120
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...