4702 search results - page 95 / 941 » How to Copyright a Function |
135
click to vote
HAID
2009
Springer
15 years 1 months ago
2009
Springer
In this paper a number of examples are presented of how haptic and auditory feedback can be used for deictic referencing in collaborative virtual environments. Haptic feedback supp...
155
click to vote
FOSSACS
2012
Springer
13 years 11 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
156
click to vote
JAIR
2008
15 years 4 months ago
2008
Decision-theoretic planning is a popular approach to sequential decision making problems, because it treats uncertainty in sensing and acting in a principled way. In single-agent ...
128
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Profile-profile methods have been used for some years now to detect and align homologous proteins. The best such methods use information from the background distributi...
177
Voted
CGF
2010
15 years 1 months ago
2010
Procedural noise functions are widely used in Computer Graphics, from off-line rendering in movie production to interactive video games. The ability to add complex and intricate d...