2586 search results - page 48 / 518 » Automatic Abstraction for Congruences |
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Katakana, Japanese phonogram mainly used for loan words, is a troublemaker in Japanese word segmentation. Since Katakana words are heavily domaindependent and there are m...
FATES
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
CAIP
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...
DATE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct tra...
CONCURRENCY
2008
14 years 9 months ago
2008
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...