Sciweavers

3719 search results - page 123 / 744
» Pellet System Description
Sort
View
ICDAR
2003
IEEE
15 years 11 months ago
A Format-Driven Handwritten Word Recognition System
A format-driven word recognition system is proposed for recognition of handwritten words. Unlike most traditional handwritten word recognizers being given a set of target words as...
Xia Liu, Zhixin Shi
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 10 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
ESAW
2000
Springer
15 years 10 months ago
Formal Specification and Prototyping of Multi-agent Systems
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-P...
FMCAD
2000
Springer
15 years 10 months ago
The Semantics of Verilog Using Transition System Combinators
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
Gordon J. Pace
SIGOPS
2010
89views more  SIGOPS 2010»
15 years 4 months ago
Incremental learning of system log formats
System logs come in a large and evolving variety of formats, many of which are semi-structured and/or non-standard. As a consequence, off-the-shelf tools for processing such logs ...
Kenny Qili Zhu, Kathleen Fisher, David Walker