1061 search results - page 95 / 213 » Dependently Sorted Logic |
ENTCS
2007
13 years 10 months ago
2007
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
Image thresholding is one of the most common image processing operations, since almost all image processing schemes need some sort of separation of the pixels into different class...
C5
2007
IEEE
14 years 4 months ago
2007
IEEE
3D virtual environments like Croquet need to be attractive in order to be visited and used. Their attractiveness depends on the level of vitality that the user is able to experien...
DEXAW
2005
IEEE
14 years 3 months ago
2005
IEEE
Many decentralized and peer-to-peer applications require some sort of data management. Besides P2P file-sharing, there are already scenarios (e.g. BRICKS project [3]) that need m...