7109 search results - page 415 / 1422 » Process Algebra with Combinators |
165
click to vote
ICANN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
212
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
188
click to vote
WOSP
2005
ACM
16 years 11 days ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
174
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
178
click to vote
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...