3362 search results - page 61 / 673 » A definition of subjective possibility |
191
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
RECOMB
2003
Springer
16 years 5 days ago
2003
Springer
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...
110
click to vote
POLICY
2009
Springer
15 years 6 months ago
2009
Springer
—Policy definition is an important component of the consistent authorisation service infrastructure that could be effectively integrated with the general resource provisioning wo...
VRST
2003
ACM
15 years 5 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...