Sciweavers

11121 search results - page 147 / 2225
» Computing with Continuous Change
Sort
View
LPNMR
2007
Springer
15 years 9 months ago
Using Answer Sets to Solve Belief Change Problems
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
Aaron Hunter, James P. Delgrande, Joel Faber

Publication
269views
17 years 1 months ago
Models of Transportation and Land Use Change:  A Guide to the Territory
Modern urban regions are highly complex entities. Despite the difficulty of modeling every relevant aspect of an urban region, researchers have produced a rich variety of models de...
Michael Iacono, David Levinson, Ahmed El-Geneidy
VLSID
2002
IEEE
129views VLSI» more  VLSID 2002»
16 years 3 months ago
Efficient Generation of Delay Change Curves for Noise-Aware Static Timing Analysis
In this paper, we explore the concept of using analytical models to efficiently generate delay change curves (DCCs) that can then be used to characterize the impact of noise on an...
Kanak Agarwal, Yu Cao, Takashi Sato, Dennis Sylves...
IWPC
2005
IEEE
15 years 9 months ago
Clustering Software Artifacts Based on Frequent Common Changes
Changes of software systems are less expensive and less error-prone if they affect only one subsystem. Thus, clusters of artifacts that are frequently changed together are subsyst...
Dirk Beyer, Andreas Noack
132
Voted
TARK
2005
Springer
15 years 9 months ago
Understanding human strategies for change: an empirical study
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
Alankar Karol, Mary-Anne Williams