Sciweavers

8266 search results - page 66 / 1654
» Information About the Journal
Sort
View
TABLEAUX
2009
Springer
15 years 6 months ago
A Tableau-Based System for Spatial Reasoning about Directional Relations
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
Davide Bresolin, Angelo Montanari, Pietro Sala, Gu...
SIGCSE
2006
ACM
201views Education» more  SIGCSE 2006»
15 years 5 months ago
Everything I needed to know about teaching I learned in kindergarten: bringing elementary education techniques to undergraduate
By expanding the teaching styles used in computer science classrooms, we can expand the audience of students that enjoy and excel in technology. Rather than focusing on major curr...
Shannon Pollard, Robert C. Duvall
SBIA
2004
Springer
15 years 5 months ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
HUC
2009
Springer
15 years 4 months ago
It's not all about "Green": energy use in low-income communities
Personal energy consumption, specifically home energy consumption such as heating, cooling, and electricity, has been an important environmental and economic topic for decades. De...
Tawanna Dillahunt, Jennifer Mankoff, Eric Paulos, ...
99
Voted
CHI
2007
ACM
15 years 3 months ago
Aligning development tools with the way programmers think about code changes
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
Marat Boshernitsan, Susan L. Graham, Marti A. Hear...