Search Sciweavers | Sciweavers

6978 search results - page 314 / 1396

» On Proofs in System P

148

click to vote

CGA
1999

127views Computational Geometry» more CGA 1999»

Design of an Anatomy Information System

15 years 6 months ago

Download sigpubs.biostr.washington.edu

James F. Brinkley, Benjamin A. Wong, Kevin P. Hins...

claim paper

Read More »

154

click to vote

DCC
1999
IEEE

109views Computer Graphics» more DCC 1999»

Complete Systems of Lines on a Hermitian Surface over a Finite Field

15 years 6 months ago

Download www.math.udel.edu

Gary L. Ebert, J. W. P. Hirschfeld

claim paper

Read More »

127

click to vote

SIAMCO
2002

64views more SIAMCO 2002»

Simple Mechanical Control Systems with Constraints and Symmetry

15 years 6 months ago

Download tintoretto.ucsd.edu

J. Cortés, S. Martínez, J. P. Ostrow...

claim paper

Read More »

129

click to vote

TOMACS
1998

60views more TOMACS 1998»

Automatic Modeling of File System Workloads Using Two-Level Arrival Processes

15 years 6 months ago

Download www.cparity.com

Peter P. Ware, Thomas W. Page Jr., Barry L. Nelson

claim paper

Read More »

134

click to vote

TOPLAS
1998

55views more TOPLAS 1998»

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers