4622 search results - page 191 / 925 » Foundations of Information Theory |
185
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
178
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
139
click to vote
ACMSE
2006
ACM
16 years 19 days ago
2006
ACM
Classic results in the theory of regular languages show that the problem of converting an NFA (nondeterministic finite automaton) into a minimal equivalent NFA is NP-hard, even f...
177
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
130
click to vote
COSIT
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...