Sciweavers

3022 search results - page 287 / 605
» Make Way for WayMaker
Sort
View
171
Voted
ENTCS
2006
172views more  ENTCS 2006»
15 years 6 months ago
Locality of Queries and Transformations
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
Leonid Libkin
IJLT
2007
67views more  IJLT 2007»
15 years 6 months ago
Differentiated e-learning: five approaches through instructional technology
: Differentiated instruction is an approach to teaching that acknowledges people have multiple paths for learning and for making sense of ideas. In e-learning, differentiated instr...
Kathleen Scalise
AI
2004
Springer
15 years 6 months ago
Conditional logic of actions and causation
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
Laura Giordano, Camilla Schwind
CLEIEJ
2002
113views more  CLEIEJ 2002»
15 years 6 months ago
Analysis Patterns for GIS Data Schema Reuse on Urban Management Applications
An analysis pattern is any part of a requirement analysis specification that can be reused in the design of other information systems as well. Urban management systems (e.g.: Tax ...
Jugurta Lisboa Filho, Cirano Iochpe, Karla A. V. B...
150
Voted
DAM
2002
78views more  DAM 2002»
15 years 6 months ago
Uniquely 2-list colorable graphs
A graph is said to be uniquely list colorable, if it admits a list assignment which induces a unique list coloring. We study uniquely list colorable graphs with a restriction on t...
Yashar Ganjali, Mohammad Ghebleh, Hossein Hajiabol...