1259 search results - page 99 / 252 » In search of the memoryless property |
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. We introduce a semi-automated proof system for basic category-theoretic reasoning. It is based on a first-order sequent calculus that captures the basic properties of cat...
ICS
2010
Tsinghua U.
14 years 5 months ago
2010
Tsinghua U.
Collectors of confidential data, such as governmental agencies, hospitals, or search engine providers, can be pressured to permit data to be used for purposes other than that for ...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper presents HSM3D, an algorithm for global rigid 6DOF alignment of 3D point clouds. The algorithm works by projecting the two input sets into the Radon/Hough domain, who...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...