Sciweavers

10447 search results - page 16 / 2090
» The Philosophy of Computer Science
Sort
View
AI
2011
Springer
13 years 2 months ago
A logic for reasoning about counterfactual emotions
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
Emiliano Lorini, François Schwarzentruber
SIGCSE
2009
ACM
82views Education» more  SIGCSE 2009»
14 years 8 months ago
An experience report on the design and delivery of two new software design courses
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...
Alex Baker, André van der Hoek
USENIX
2000
13 years 8 months ago
Towards Availability Benchmarks: A Case Study of Software RAID Systems
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
Aaron B. Brown, David A. Patterson
BALT
2006
13 years 11 months ago
On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
Giancarlo Guizzardi