5343 search results - page 913 / 1069 » Keyword programming in java |
104
Voted
MM
2003
ACM
15 years 7 months ago
2003
ACM
To exploit rich content embedded in a single photograph, a system named Photo2Video was developed to automatically convert a photographic series into a video by simulating camera ...
134
Voted
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
103
Voted
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
116
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
125
Voted
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
How can you invite and encourage faculty to share their knowledge and ideas about courseware? A successful faculty technology training program promotes interdepartmental collabora...