4491 search results - page 219 / 899 » Algorithm Engineering |
109
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
HCI
2007
15 years 4 months ago
2007
In this paper we present a semi-automatic ontology editor as implemented in a new version of OntoGen system. The system integrates machine learning and text mining algorithms into ...
96
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents the architecture and characteristics of a memory database intended to be used as a cache engine for web applications. Primary goals of this database are speed a...
101
click to vote
CAD
2004
Springer
15 years 2 months ago
2004
Springer
This article discusses the reverse engineering problem of reconstructing objects with planar faces. We will present the main geometric features of a modeling system which are the ...
135
Voted
FSTTCS
2010
Springer
15 years 16 days ago
2010
Springer
Bisimulation equivalence is decidable in polynomial time over normed graphs generated by a context-free grammar. We present a new algorithm, working in time O(n5 ), thus improving...