7796 search results - page 229 / 1560 » On Generalized Schur Numbers |
168
click to vote
SIGCOMM
1997
ACM
15 years 11 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
187
click to vote
CVPR
1996
IEEE
15 years 10 months ago
1996
IEEE
The problem of determining feature correspondences across multiple views is considered. The term true multi-image" matching is introduced to describe techniques that make ful...
207
click to vote
ECOOP
1997
Springer
15 years 10 months ago
1997
Springer
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
154
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
156
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Fixturing encompasses the design and assembly of fixtures to locate and hold a workpiece during a manufacturing operation such as machining or assembly. We have implemented an auto...