2076 search results - page 287 / 416 » Functional logic overloading |
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...
110
click to vote
FSKD
2007
Springer
15 years 7 months ago
2007
Springer
A proposed KFCM-based fuzzy classifier was introduced. As for the process of constructing such classifier, firstly, the original sample space is mapped into a high dimensional fea...
129
click to vote
FSKD
2007
Springer
15 years 7 months ago
2007
Springer
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
104
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
111
click to vote
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...