8874 search results - page 386 / 1775 » A New Implementation of Automath |
165
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
Recently, a small number of papers have appeared in which the authors implement stochastic search algorithms, such as evolutionary computation, to generate game content, such as le...
202
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
182
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
178
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a new type of input for mobile devices by sensing forces applied by users to device casings. Deformation of the devices is not necessary for such “force gest...
150
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we define and illustrate a new form of attack in the context of software services: the software-based need-to-know (SN2K) attack. SN2K attacks can be carried out...