Embedding Algebraic Specifications in HOL - Dan Zhou And(Correct)
to implementation details. There are different levels of specification abstractions. A lower-level
Specifications in HOL Dan Zhou 1 and Shiu-Kai Chin 2 1 Department of Computer Science and
and Computer Science, Syracuse University chin@cat.syr.edu Abstract. To build correct software ocelot.cat.syr.edu/~danzhou/papers/tphol99.ps
Program Understanding: A Constraint Satisfaction Modeling.. - Woods, Yang, al. (1995)(Correct)
have used in constructing a particular piece of legacy source code. However, program understanding
lines) legacy source code(Wills 1992, Quilici &Chin 1995, Woods &Yang 1995b)none have been clearly
program understanding environment (Quilici &Chin 1995)As a result, it has a variety of heuristic cs-archive.uwaterloo.ca/cs-archive/CS-95-52/CS95-52.ps.Z
Constructing Noise-Reducing Operators from Training Images - Sher, Cheung(Correct)
specifically skeletonization, to find the lengths of fetal ulnas. Jang and Chin (Jang and Chin,
to find the lengths of fetal ulnas. Jang and Chin (Jang and Chin, 1990) developed a set of
the lengths of fetal ulnas. Jang and Chin (Jang and Chin, 1990) developed a set of morphological techniques ftp.cs.buffalo.edu/pub/tech-reports/92-30.ps.Z
Improved WWW Multimedia Transmission Performance in HTTP/TCP.. - Chang, Wang (1999)(Correct)
end-stations and ATM networks to interconnect with legacy LAN/WAN technologies. But the performance of
ATM Networks Ruay-Shiung Chang, Member, IEEE, and Chin-Dong Wang Abstract-Transmission control
Institute of Information and Computing Machinery. Chin-Dong Wang received the B.S. and M.S. degrees in www.cs.kau.se/cs/prtp/papers/Chang99_WWW_TCP_ATM.pdf
The SIMS Manual - Version 1.0 - Ambite, Arens, Chee, Hsu, Knoblock (1995)(Correct)
manipulate data, and how to maintain an acceptable level of efficiency in performing its task. In
Manual Version 1.0 Jos'e-Luis Ambite Yigal Arens Chin Y. Chee Chun-Nan Hsu Craig A. Knoblock Information
-Version 1.0 JoséLuis Ambite, Yigal Arens, Chin Y. Chee, Chun-Nan Hsu, Craig A. Knoblock ftp.isi.edu/sims/papers/sims-manual.ps.Z
Fast High-Dimensional Data Search in Incomplete Databases - Ooi, Goh, Tan (1998)(Correct)(1 citation)
Databases Beng Chin Ooi Cheng Hian Goh Kian-Lee Tan Dept. of Information Systems &Computer
Data Search in Incomplete Databases Beng Chin Ooi Cheng Hian Goh Kian-Lee Tan Dept. of
Data Search in Incomplete Databases Beng Chin Ooi, Cheng Hian Goh, Kian-Lee Tan ftp.iscs.nus.edu.sg/pub/staff/gohch/vldb98.ps.gz
Bimodal Expression of Emotion by Face and Voice - Cohn, Katz (1998)(Correct)(2 citations)
sets of measures demonstrated a moderate to high level of AU4 AU14 AU12 AU5 AU6 AU7 AU2025 AU27 AU25
AU1517 AU172324 Lip corners are pulled down and chin is raised The infraorbital triangle and center of
center of the upper lip are pulled upwards and the chin boss is raised (AU17) AU17 and lips are tightened, www.pitt.edu/~jeffcohn/acm98_bristol.pdf
Synchronisation Analysis to Stop Tupling - Chin, Khoo, Lee (1998)(Correct)(2 citations) Chin 1 Siau-Cheng Khoo 1 and Tat-Wee Lee 2 1 National University of Singapore 2
Synchronisation Analysis to Stop Tupling Wei-Ngan Chin 1 Siau-Cheng Khoo 1 and Tat-Wee Lee 2 1
45-51, Bombay, India, December 1993. 2. Wei-Ngan Chin. Towards an automated tupling strategy. In ACM www.comp.nus.edu.sg/~khoosc/papers/esop98.ps.gz
WORKSHOP ON FUTURE DIRECTIONS IN NONLINEAR CONTROL OF.. - Link Planar Biped(Correct)
motion of an N-link, planar, biped robot with one less degree of actuation than degree of motion freedom
tasks of juggling, catching, and palming a ping-pong ball by a robot arm these controllers were then www.eecs.umich.edu/people/grizzle/papers/spong_workshop.pdf
Consistency Maintenance In Peer-to-Peer File - Sharing Networks Jiang(Correct)
containing replicated files dynamically join and leave the network. We present extensions to the
descriptor is expected to respond with one or more Pong descriptors. Pong The response to a Ping. Includes lass.cs.umass.edu/papers/ps/p2pconsistency.ps
FORSCHUNGSZENTRUM JLICH GmbH - Zentralinstitut Fr Angewandte (2003)(Correct)
processor and the broadcast operation for tuning the Level 3 PBLAS (Parallel Basic Linear Algebra
rate for point-to-point communication with a ping-pong test between two processors on one node with www.zam.kfa-juelich.de/zam/files/docs/ib/ib-03/ib-2003-06.ps.gz
The OCCOMM Benchmarking Guide Version 1.2 - Ashworth (1996)(Correct)
models for distribution onto parallel processors leads to a characteristic nearest neighbour boundary
performance of parallel computers using a ping-pong or message exchange test (Addison et al, www.dl.ac.uk/TCSC/CompEng/OCCOMM/uguide-1.2.ps.gz
Fast Message Passing via the ALLCACHE Memory on KSR Computers - Ghosh (1993)(Correct)
throughput at low cost. Message-passing is a low level of communication software on a network of
a simple but widely-used benchmark called ping-pong, and report the performance of this benchmark on ftp.cc.gatech.edu/pub/coc/tech_reports/1994/GIT-CC-94-37.ps.Z
IEEE November 6 - 9, 2002, Boston, MA - Senior Design As(Correct)
into the change process directly and in a role that leverages their educational experiences. We present
a distributed system in which two so-called Ping-Pong Ball Systems (PPBS) operate with coordinated fie.engrng.pitt.edu/fie2002/papers/1476.pdf