3256 search results - page 554 / 652 » Applications of Formal Methods to System Design and Verifica... |
ENTCS
2007
14 years 9 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
171
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstractā As the datasets used to fuel modern scientiļ¬c discovery grow increasingly large, they become increasingly difļ¬cult to manage using conventional software. Parallel d...
AAI
2005
14 years 9 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
This paper is concerned with rank aggregation, the task of combining the ranking results of individual rankers at meta-search. Previously, rank aggregation was performed mainly by...