Sciweavers

1809 search results - page 223 / 362
» On the Purpose of Object-Oriented Analysis
Sort
View
SIGDOC
2000
ACM
15 years 3 months ago
High-tech publications need old-fashioned editing
: Standard formats, familiar word choices, consistency, organization, simple graphic formats, technology, mechanics, and the global nature of the user and the media are major consi...
Janis Ramey, Marlene Miller
FOCS
1992
IEEE
15 years 2 months ago
Quadratic Dynamical Systems (Preliminary Version)
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
Yuri Rabinovich, Alistair Sinclair, Avi Wigderson
CADE
1990
Springer
15 years 2 months ago
IMPS: An Interactive Mathematical Proof System
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
William M. Farmer, Joshua D. Guttman, F. Javier Th...
ISSTA
2010
ACM
15 years 2 months ago
N-version disassembly: differential testing of x86 disassemblers
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fre...
ICA3PP
2009
Springer
15 years 2 months ago
Finding Object Depth Using Stereoscopic Photography
Stereoscopic scenes of the mankind is naturally caused by synthesizing two images produced by the parallax of the two eyes of human. Such being the case, mankind can distinguish t...
Yu-Hua Lee, Tai-Pao Chuang