Sciweavers

386 search results - page 4 / 78
» ideas 2000
Sort
View
APPML
2007
95views more  APPML 2007»
14 years 9 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»
14 years 11 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»
15 years 3 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»
15 years 2 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
15 years 1 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...