2263 search results - page 374 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
103
click to vote
DOCENG
2006
ACM
15 years 7 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
105
click to vote
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
IFIP8
2007
15 years 2 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
107
click to vote
IADIS
2004
15 years 2 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...