1648 search results - page 69 / 330 » Where to Build a Door |
CISC
2007
Springer
14 years 4 months ago
2007
Springer
We propose the idea of building a secure hash using quadratic or higher degree multivariate polynomials over a finite field as the compression function. We analyze some security ...
ICCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Representing concept lattices constructed from large contexts often results in heavy, complex diagrams that can be impractical to handle and, eventually, to make sense of...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Linking semantic and spatial information has become an important research area in robotics since, for robots interacting with humans and performing tasks in natural env...
CIG
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a way to integrate search and Monte-Carlo methods in the game of Go. Our program uses search to find the status of tactical goals, builds groups, selects interesting go...
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...