8928 search results - page 1653 / 1786 » Modeling Current Events |
190
click to vote
ICCSA
2007
Springer
16 years 15 days ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
180
click to vote
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
158
click to vote
TCC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...
174
click to vote
ICNP
2006
IEEE
16 years 12 days ago
2006
IEEE
— Energy efficiency is widely understood to be one of the dominant considerations for Wireless Sensor Networks. Based on historical data and technology trends, the receiver ener...
221
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...