6884 search results - page 132 / 1377 » The macro-structure of use of help |
FOIKS
2010
Springer
13 years 7 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
JDCTA
2010
13 years 4 months ago
2010
Electric power generation requires a great deal of production equipment, such as steam turbines, boilers, etc., how to insure the well-run condition of such equipment is the key f...
SIGIR
2010
ACM
13 years 3 months ago
2010
ACM
The Web N-gram Workshop was held on July 23, 2010 in Geneva, Switzerland, in conjunction with the 33rd Annual ACM SIGIR Conference. The workshop brought together leaders in inform...
WMCSA
2012
IEEE
12 years 4 months ago
2012
IEEE
Mobile technology has significant potential to help revolutionize personal wellness and the delivery of healthcare. Mobile phones, wearable sensors, and home-based tele-medicine ...