5084 search results - page 252 / 1017 » Proving Possibility Properties |
128
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
165
click to vote
MAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we introduce a collection of cryptographic key constructions built from environmental data that are resistant to adversarial analysis and deceit. We expound upon the...
162
click to vote
AII
1989
15 years 10 months ago
1989
In the recent development ofwrious models of learning inspired by the PAC learning model (introduced by Valiant) there has been a trend towards models which are as representation ...
163
click to vote
ACL
1990
15 years 7 months ago
1990
The principle known as 'free indexation' plays an important role in the determination of the referential properties of noun phrases in the principleand-parameters langua...
112
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--Terahertz imaging makes it possible to acquire images of objects concealed underneath clothing by measuring the radiometric temperatures of different objects on a human s...