Sciweavers

10148 search results - page 1781 / 2030
» Optimal sub-graphical models
Sort
View
FOCS
2005
IEEE
16 years 8 days ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
185
Voted
HAPTICS
2005
IEEE
16 years 7 days ago
High Fidelity Multi Finger Haptic Display
The Fingertip Haptic Display (FHD) is a five bar mechanism developed at the University of Washington for haptic interaction with the fingertip of the operator. The twodegree-of-...
Rainer Leuschke, Elizabeth K. T. Kurihara, Jesse D...
HICSS
2005
IEEE
145views Biometrics» more  HICSS 2005»
16 years 7 days ago
Towards a Reliable and Efficient Distributed Storage System
This paper presents RDSS, a Resource Area Network (RAN)-based Distributed Storage System, which is designed for high scalability, long-term reliability, and operational efficiency...
Xiaodong Li, Chang Liu
HICSS
2005
IEEE
160views Biometrics» more  HICSS 2005»
16 years 7 days ago
Problem Based Learning and the Business School Environment
This paper attempts to create a research cycle for Problem Based Learning and in so doing help substantiate the use of PBL in business school environments. The paper starts with a...
Wm. Benjamin Martz Jr., Morgan M. Shepherd
ICDAR
2005
IEEE
16 years 7 days ago
An Approach towards Benchmarking of Table Structure Recognition Results
After developing a model free table recognition system we wanted to tune parameters in order to optimize the recognition performance. Therefore we developed a benchmarking environ...
Thomas Kieninger, Andreas Dengel
« Prev « First page 1781 / 2030 Last » Next »