3066 search results - page 180 / 614 » On Facilitating Automated Evaluation |
SEKE
2007
Springer
14 years 3 months ago
2007
Springer
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...
CBMS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this era of cross-sectional imaging, it is useful to think of the neck in terms of adjacent anatomical spaces separated by fascial layers extended from the skull base to the th...
SAINT
2006
IEEE
14 years 3 months ago
2006
IEEE
Radio Frequency Identification (RFID) technology has a lot of potential to automate business processes and improve visibility across the supply chain. To realize the full potenti...
SKG
2006
IEEE
14 years 3 months ago
2006
IEEE
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...