6413 search results - page 577 / 1283 » Classes of cycle bases |
177
click to vote
ENTCS
2010
15 years 7 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
174
click to vote
FUIN
2008
15 years 7 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
167
click to vote
CSDA
2006
15 years 7 months ago
2006
Emerging patterns represent a class of interaction structures which has been recently proposed as a tool in data mining. In this paper, a new and more general definition refering ...
191
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
163
click to vote
FSS
2006
15 years 7 months ago
2006
In this paper we propose a new nonparametric regression algorithm based on Fuzzy systems with overlapping concepts. We analyze its consistency properties, showing that it is capab...