4469 search results - page 607 / 894 » Comparing and Combining Profiles |
123
click to vote
COCOS
2003
Springer
15 years 10 months ago
2003
Springer
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals. This techniqu...
163
click to vote
ECML
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Tree induction methods and linear models are popular techniques for supervised learning tasks, both for the prediction of nominal classes and continuous numeric values. F...
137
Voted
ER
2003
Springer
15 years 10 months ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
139
click to vote
ERCIMDL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper examines technology developed to support largescale distributed digital libraries. We describe the method used for harvesting collection information using stan...
145
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...