Sciweavers

8669 search results - page 1283 / 1734
» Computing matrix representations
Sort
View
DATESO
2010
150views Database» more  DATESO 2010»
15 years 2 months ago
Evolving Quasigroups by Genetic Algorithms
Abstract. Quasigroups are a well-known combinatorial design equivalent to more familiar Latin squares. Because all possible elements of a quasigroup occur with equal probability, i...
Václav Snásel, Jiri Dvorský, ...
EMNLP
2010
15 years 2 months ago
An Efficient Algorithm for Unsupervised Word Segmentation with Branching Entropy and MDL
This paper proposes a fast and simple unsupervised word segmentation algorithm that utilizes the local predictability of adjacent character sequences, while searching for a leaste...
Valentin Zhikov, Hiroya Takamura, Manabu Okumura
132
Voted
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
15 years 2 months ago
From motion planning to trajectory control with bounded jerk for service manipulator robots
To build autonomous robots capable to plan and control tasks in human environments, we need a description of trajectories that allows the robot to reason on his moves. In this pape...
Xavier Broquère, Daniel Sidobre, Khoi Nguye...
165
Voted
CSREASAM
2009
15 years 2 months ago
A Secure Certificate for Secure Group Communication
- Security is a primary concern in group communication, and secure authentication is essential to establishing a secure group communication. Most conventional authentications consi...
Sunghyuck Hong
FORTE
2009
15 years 2 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
« Prev « First page 1283 / 1734 Last » Next »