1008 search results - page 73 / 202 » Canonicity! |
107
Voted
SIGOPSE
2004
ACM
15 years 8 months ago
2004
ACM
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
131
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
119
Voted
PAKDD
2004
ACM
15 years 8 months ago
2004
ACM
Abstract. Tree structures are used extensively in domains such as computational biology, pattern recognition, XML databases, computer networks, and so on. One important problem in ...
178
click to vote
WIA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
145
click to vote
SMA
2003
ACM
15 years 8 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...