8828 search results - page 1361 / 1766 » Formal methods in practice |
173
click to vote
OTM
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-Business applications want to use services that most accurately...
174
click to vote
PPDP
2005
Springer
16 years 15 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
222
click to vote
SFM
2005
Springer
16 years 14 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
190
click to vote
WEBI
2005
Springer
16 years 14 days ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
199
click to vote
ICML
2004
IEEE
16 years 13 days ago
2004
IEEE
The paper is concerned with two-class active learning. While the common approach for collecting data in active learning is to select samples close to the classification boundary,...