Sciweavers

1157 search results - page 156 / 232
» Events Can Make Sense
Sort
View
SIGSOFT
1994
ACM
14 years 1 months ago
Data Flow Analysis for Verifying Properties of Concurrent Programs
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
Matthew B. Dwyer, Lori A. Clarke
DELTA
2004
IEEE
14 years 20 days ago
A Novel Approach to Real-time Bilinear Interpolation
Bilinear interpolation is often used to improve image quality after performing spatial transformation operations such as digital zooming or rotation. In the traditional case where...
K. T. Gribbon, Donald G. Bailey
DSRT
2004
IEEE
14 years 20 days ago
HLA-Based Distributed Simulation Cloning
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...
Dan Chen, Stephen John Turner, Boon-Ping Gan, Went...
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
14 years 15 days ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg
AINA
2007
IEEE
13 years 10 months ago
Phygital Map: Accessing Digital Multimedia from Physical Map
— We present an augmented map interface called Phygital (physical, digital) Map that enables users to access digital multimedia stored in various off-the-shelf devices from physi...
Jin Nakazawa, Hideyuki Tokuda