Sciweavers

492 search results - page 87 / 99
» Hybrid Sequence Charts
Sort
View
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
15 years 2 months ago
Programming in the Architecture for Agile Assembly
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
Jay Gowdy, Alfred A. Rizzi
CPM
1999
Springer
107views Combinatorics» more  CPM 1999»
15 years 2 months ago
A General Practical Approach to Pattern Matching over Ziv-Lempel Compressed Text
We address the problem of string matching on Ziv-Lempel compressed text. The goal is to search a pattern in a text without uncompressing it. This is a highly relevant issue to keep...
Gonzalo Navarro, Mathieu Raffinot
VTS
1997
IEEE
86views Hardware» more  VTS 1997»
15 years 1 months ago
Incremental logic rectification
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng
AAAI
2007
15 years 13 hour ago
Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
Stéphane Grandcolas, C. Pain-Barre
86
Voted
FLAIRS
2007
15 years 12 hour ago
Combining Machine Learning with Linguistic Heuristics for Chinese Word Segmentation
This paper describes a hybrid model that combines machine learning with linguistic heuristics for integrating unknown word identification with Chinese word segmentation. The model...
Xiaofei Lu