1056 search results - page 158 / 212 » Handbook of mathematical functions |
141
click to vote
PLPV
2010
ACM
16 years 2 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
145
click to vote
STACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
141
click to vote
HICSS
2009
IEEE
16 years 13 days ago
2009
IEEE
Information security continues to evolve in response to disruptive changes with a persistent focus on information-centric controls and a healthy debate about balancing endpoint an...
191
click to vote
IROS
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract— This paper describes an efficient method for retrieving the 3-dimensional shape associated to novelties in the environment of an autonomous robot, which is equipped wi...
127
click to vote
COMPLEX
2009
Springer
16 years 6 days ago
2009
Springer
Investors would like to calculate profits in advance, “ex ante”, like the path of a flying ball. But income can only be given “ex post”, after the money is earned. The pro...