1588 search results - page 204 / 318 » On the Logic of Constitutive Rules |
ICALT
2005
IEEE
15 years 7 months ago
2005
IEEE
The ability to provide assistance for a student at the appropriate level is invaluable in the learning process. Not only does it aid the student’s learning process but also prev...
122
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we address the problem of unsupervised Web data extraction. We show that unsupervised Web data extraction becomes feasible when supposing pages that are made up of r...
115
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
107
click to vote
GG
2004
Springer
15 years 7 months ago
2004
Springer
Biochemical pathways, such as metabolic, regulatory, and signal transduction pathways, constitute complex networks of functional and physical interactions between molecular species...