6155 search results - page 1090 / 1231 » A language for multiple models of computation |
174
click to vote
SAC
2003
ACM
15 years 11 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 ...
146
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...
160
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
148
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
We propose an intelligent document title classification agent based on a theory of information inference. The information is represented as vectorial spaces computed by a cognitive...
172
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...