398 search results - page 61 / 80 » Spider Diagrams of Order |
WABI
2007
Springer
15 years 3 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
85
Voted
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
81
Voted
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
100
Voted
SSDBM
2006
IEEE
15 years 3 months ago
2006
IEEE
The detection of correlations between different features in high dimensional data sets is a very important data mining task. These correlations can be arbitrarily complex: One or...