1446 search results - page 121 / 290 » Similarity of Cardinal Directions |
158
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
118
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper defends an augmented cognitively oriented "generic-design hypothesis": There are both significant similarities between the design activities implemented in sit...
120
click to vote
JCP
2006
15 years 4 months ago
2006
Abstract-- This paper presents a biometric user authentication based on a person's gait. Unlike most previous gait recognition approaches, which are based on machine vision te...
120
click to vote
ENTCS
2007
15 years 4 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...