3706 search results - page 186 / 742 » System Description: E-KRHyper |
105
Voted
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
109
Voted
ECML
1987
Springer
15 years 4 months ago
1987
Springer
This paper examines the induction of classification rules from examples using real-world data. Real-world data is almost always characterized by two features, which are important ...
SERP
2003
15 years 2 months ago
2003
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...
100
click to vote
CCE
2007
15 years 23 days ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
123
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...