7049 search results - page 367 / 1410 » Data Abstraction for CSP-OZ |
149
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
174
click to vote
KI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
149
click to vote
RSCTC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Many learning methods ignore domain knowledge in synthesis of concept approximation. We propose to use hierarchical schemes for learning approximations of complex concept...
145
click to vote
AC
2003
Springer
16 years 1 days ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
154
click to vote
CIARP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper we propose the extended star clustering algorithm and compare it with the original star clustering algorithm. We introduce a new concept of star and as a co...