16516 search results - page 36 / 3304 » A New Approach for FCSRs |
IJCAI
2007
13 years 11 months ago
2007
MSV
2007
13 years 11 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
SE
2007
13 years 11 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
FLAIRS
2004
13 years 11 months ago
2004
In the recent years, CSP's have come to be seen as the core problem in many applications. We propose here a hybrid algorithm (MC-FC) that combines two different search method...
APBC
2003
13 years 11 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...