10038 search results - page 1827 / 2008 » Model Checking for Managers |
143
click to vote
AIRS
2004
Springer
15 years 8 months ago
2004
Springer
Abundant Chinese paraphrasing resource on Internet can be attained from different Chinese translations of one foreign masterpiece. Paraphrases corpus is the corpus that includes s...
162
click to vote
AIRS
2006
Springer
15 years 8 months ago
2006
Springer
Recently, much research has been proposed using nature inspired algorithms to perform complex machine learning tasks. Ant Colony Optimization (ACO) is one such algorithm based on s...
138
click to vote
BPM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
140
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
156
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
A Connected Dominating Set (CDS) can serve as a virtual backbone for a wireless sensor network since there is no fixed infrastructure or centralized management in wireless sensor n...