Sciweavers

3428 search results - page 171 / 686
» Making the Case
Sort
View
IPPS
2000
IEEE
15 years 8 months ago
Memory Management in a Combined VIA/SCI Hardware
Abstract In this document we make a brief review of memory management and DMA considerations in case of common SCI hardware and the Virtual Interface Architecture. On this basis we...
Mario Trams, Wolfgang Rehm, Daniel Balkanski, Stan...
INFORMATICALT
2008
74views more  INFORMATICALT 2008»
15 years 4 months ago
Automated Optic Nerve Disc Parameterization
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
Povilas Treigys, Vydunas Saltenis, Gintautas Dzemy...
CORR
1998
Springer
117views Education» more  CORR 1998»
15 years 4 months ago
A Human - machine interface for teleoperation of arm manipulators in a complex environment
This paper discusses the feasibility of using conguration space C-space as a means of visualization and control in operator-guided real-time motion of a robot arm manipulator. T...
Igor Ivanisevic, Vladimir J. Lumelsky
CSL
2007
Springer
15 years 10 months ago
A Cut-Free and Invariant-Free Sequent Calculus for PLTL
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, M...
RSFDGRC
2005
Springer
134views Data Mining» more  RSFDGRC 2005»
15 years 9 months ago
The Computational Complexity of Inference Using Rough Set Flow Graphs
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
Cory J. Butz, Wen Yan, Boting Yang