Sciweavers

1404 search results - page 36 / 281
» Dynamic Scale-Space Theories
Sort
View
JELIA
1994
Springer
14 years 3 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
ICMCS
2006
IEEE
76views Multimedia» more  ICMCS 2006»
14 years 5 months ago
Predictive Dynamic User Interfaces for Interactive Visual Search
This paper proposes a method for designing user interfaces based on ideas rooted in data communication theory. It suggests that a visual user interface should be treated as a mult...
Sam Mavandadi, Parham Aarabi, Azadeh Khaleghi, Ron...
ICFP
2009
ACM
14 years 11 months ago
A theory of typed coercions and its applications
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman
HICSS
2006
IEEE
125views Biometrics» more  HICSS 2006»
14 years 5 months ago
Using Social Network Analysis to Test an IT-Enabled Business Process Reengineering Theory
After more than a decade of research in information technology-enabled business process reengineering (BPR), no clear theory explains the link between information technology (IT) ...
Nik R. Hassan, Tom C. Richards, Jack D. Becker
IPPS
2006
IEEE
14 years 5 months ago
Cooperative checkpointing theory
Cooperative checkpointing uses global knowledge of the state and health of the machine to improve performance and reliability by dynamically deciding when to skip checkpoint reque...
Adam J. Oliner, Larry Rudolph, Ramendra K. Sahoo