Sciweavers

10447 search results - page 206 / 2090
» The Philosophy of Computer Science
Sort
View
LOGCOM
2006
82views more  LOGCOM 2006»
15 years 4 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard
127
Voted
SOFSEM
2010
Springer
16 years 1 months ago
Web Science: The Digital-Heritage Case
Web Science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. extended abstract we examine Web Science research iss...
Guus Schreiber

Book
1100views
17 years 5 months ago
Introduction to Computer Vision
Great book to learn computer vision methods. explained nicely
134
Voted
DIGRA
2005
Springer
15 years 10 months ago
Learning Games as a Platform for Simulated Science Practice
In recent years, science education has been the focus of study and development of new gamebased learning environments. It has been argued that active and critical learning about r...
Rikke Magnussen
ESCIENCE
2006
IEEE
15 years 11 months ago
An Extensible Service Development Toolkit to Support Earth Science Grids
This paper describes the development and use of an extensible service provider toolkit (ESP) for an Earth Science service-oriented architecture (SOA). Grid-enabled Earth Science a...
Jason Cope, Henry M. Tufo, Matthew Woitaszek