4622 search results - page 179 / 925 » Foundations of Information Theory |
275
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
171
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Positioning multiple sensors for acquisition of a a given environment is one of the fundamental research areas in various fields, such as military scouting, computer vision and ro...
175
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...
127
click to vote
ECIS
2003
15 years 8 months ago
2003
This paper pursues two objectives. First it depicts the status of research philosophies of the IOS adoption field. Second, it gives an overview of the discussions within the field...
127
click to vote
WSC
2000
15 years 8 months ago
2000
Airpower's strength lies in quickly striking the enemy directly where they are vulnerable while being unhampered by geography and surface forces. Airpower theory suggests the...