2593 search results - page 306 / 519 » constraints 2007 |
162
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...
194
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
170
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
221
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
168
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a node mobility prediction framework based on a generic mobile grid architecture. We show how this framework can be used to formulate a cost effective job...