10916 search results - page 1876 / 2184 » On Constructive Connectives and Systems |
206
click to vote
RTA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
178
click to vote
SCIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
198
click to vote
SPIN
2007
Springer
16 years 25 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
164
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
180
click to vote
CSFW
2006
IEEE
16 years 24 days ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...