6293 search results - page 919 / 1259 » Information Flow Testing |
211
click to vote
ATVA
2004
Springer
16 years 5 days ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
227
click to vote
ECCV
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We propose a new method for face recognition under arbitrary pose and illumination conditions, which requires only one training image per subject. Furthermore, no limitat...
174
click to vote
CHI
2003
ACM
16 years 1 days ago
2003
ACM
BreakingStory is an interactive system for visualizing change in online news. The system regularly collects the text from the front pages of international daily news web sites. It...
288
click to vote
TAPIA
2009
ACM
15 years 11 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
165
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
We presented a paper in Denver that addressed our Remedy design process. At that time we talked about our current development process, but we hadn't implemented the product a...