Sciweavers

2478 search results - page 487 / 496
» Universality in two dimensions
Sort
View
COMPUTER
2002
103views more  COMPUTER 2002»
15 years 5 months ago
SimpleScalar: An Infrastructure for Computer System Modeling
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
Todd M. Austin, Eric Larson, Dan Ernst
ENTCS
2000
120views more  ENTCS 2000»
15 years 5 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
MISQ
2000
104views more  MISQ 2000»
15 years 5 months ago
Understanding Computer-Mediated Discussions: Positivist and Interpretive Analyses of Group Support System Use
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...
Eileen M. Trauth, Leonard M. Jessup
AAI
1998
99views more  AAI 1998»
15 years 5 months ago
Toward Socially Intelligent Service Robots
In the Intelligent Robotics Laboratory (IRL) at Vanderbilt University we seek to develop service robots with a high level of social intelligence and interactivity. In order to ach...
Mitchell Wilkes, W. Anthony Alford, Robert T. Pack...
IJCV
1998
168views more  IJCV 1998»
15 years 5 months ago
Rapid Anisotropic Diffusion Using Space-Variant Vision
Many computer and robot vision applications require multi-scale image analysis. Classically, this has been accomplished through the use of a linear scale-space, which is constructe...
Bruce Fischl, Michael A. Cohen, Eric L. Schwartz