1948 search results - page 257 / 390 » Formalizing Mirror Theory |
114
click to vote
COLING
1990
15 years 6 months ago
1990
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
208
click to vote
ASIAN
2009
Springer
15 years 6 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
147
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
194
click to vote
DBSEC
2009
15 years 6 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
136
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...