Sciweavers

4413 search results - page 760 / 883
» New Directions for CACM
Sort
View
INFORMATICALT
2002
134views more  INFORMATICALT 2002»
15 years 5 months ago
The Implementation of the Example-Based Machine Translation Technique for German-to-Polish Automatic Translation System
High-quality machine translation between human languages has for a long time been an unattainable dream for many computer scientists involved in this fascinating and interdisciplin...
Miroslaw Gajer
DCG
1998
53views more  DCG 1998»
15 years 5 months ago
Motion Planning in Environments with Low Obstacle Density
We present a simple and e cient paradigm for computing the exact solution of the motionplanning problem in environments with a low obstacle density. Such environments frequently o...
A. Frank van der Stappen, Mark H. Overmars, Mark d...
190
Voted
ISCI
2002
132views more  ISCI 2002»
15 years 5 months ago
Mobile data and transaction management
Mobile computing paradigm has emerged due to advances in wireless or cellular networking technology. This rapidly expanding technology poses many challenging research problems in ...
Sanjay Kumar Madria, Mukesh K. Mohania, Sourav S. ...
CGF
1999
159views more  CGF 1999»
15 years 5 months ago
Fast Polyhedral Cell Sorting for Interactive Rendering of Unstructured Grids
Direct volume rendering based on projective methods works by projecting, in visibility order, the polyhedral cells of a mesh onto the image plane, and incrementally compositing th...
João Comba, James T. Klosowski, Nelson L. M...
JAR
2002
83views more  JAR 2002»
15 years 5 months ago
Mathematical Programming Embeddings of Logic
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
Vivek S. Borkar, Vijay Chandru, Sanjoy K. Mitter