Sciweavers

386 search results - page 4 / 78
» ideas 2000
Sort
View
APPML
2007
95views more  APPML 2007»
13 years 7 months ago
On the solvability of two-point, second-order boundary value problems
We gain solvability to a system of nonlinear, second-order ordinary differential equations subject to a range of boundary conditions. The ideas involve differential inequalities...
Matthew Rudd, Christopher C. Tisdell
ANLP
1997
76views more  ANLP 1997»
13 years 9 months ago
A Prototype of a Grammar Checker for Czech
This paper describes the implementation of a prototype of a grammar based grammar checker for Czech and the basic ideas behind this implementation. The demo is implemented as an i...
Tomás Holan, Vladislav Kubon, Martin Pl&aac...
CRYPTO
2005
Springer
83views Cryptology» more  CRYPTO 2005»
14 years 1 months ago
A Practical Attack on a Braid Group Based Cryptographic Protocol
In this paper we present a practical heuristic attack on the Ko, Lee et al. key exchange protocol introduced at Crypto 2000 [10]. One of the ideas behind our attack is using Dehorn...
Alexei G. Myasnikov, Vladimir Shpilrain, Alexander...
ICRA
2000
IEEE
71views Robotics» more  ICRA 2000»
13 years 12 months ago
Dynamic Simulation for Grasping and Whole Arm Manipulation
We propose a novel approach to dynamic simulation of grasps that overcomes di culties due to inconsistencies in the forward dynamics problem. The key idea in the paper is a minima...
Peng Song, Masahito Yashima, Vijay Kumar
CP
2000
Springer
13 years 12 months ago
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha...