Result 41 to 60 of 66 total
Designing and analyzing a flash file system with alloy. (English)
Int. J. Softw. Inform. 3, No. 2-3, 129-148 (2009).
41
A chain datatype in $Z^*$. (English)
Int. J. Softw. Inform. 3, No. 2-3, 357-374 (2009).
42
Secure ‒ $i^{*}$: engineering secure software systems through social analysis. (English)
Int. J. Softw. Inform. 3, No. 1, 89-120 (2009).
43
Verification of an incremental garbage collector in Hoare-style logic. (English)
Int. J. Softw. Inform. 3, No. 1, 67-88 (2009).
44
Propositional attitudes and causation. (English)
Int. J. Softw. Inform. 3, No. 1, 47-65 (2009).
45
Temporal data mining for educational applications. (English)
Int. J. Softw. Inform. 3, No. 1, 31-46 (2009).
46
State-based regression with sensing and knowledge. (English)
Int. J. Softw. Inform. 3, No. 1, 3-30 (2009).
47
Towards knowledge acquisition from semi-structured content. (English)
Int. J. Softw. Inform. 2, No. 2, 233-248 (2008).
48
Mining gene expression data using domain knowledge. (English)
Int. J. Softw. Inform. 2, No. 2, 215-231 (2008).
49
AWSum-combining classification with knowledge aquisition. (English)
Int. J. Softw. Inform. 2, No. 2, 199-214 (2008).
50
Global and local (glocal) bagging approach for classifying noisy dataset. (English)
Int. J. Softw. Inform. 2, No. 2, 181-197 (2008).
51
Managing the acronym/Expansion identification process for text-mining applications. (English)
Int. J. Softw. Inform. 2, No. 2, 163-179 (2008).
52
Effcient mining of heterogeneous star-structured data. (English)
Int. J. Softw. Inform. 2, No. 2, 141-161 (2008).
53
Attribute selection for numerical databases that contain correlations. (English)
Int. J. Softw. Inform. 2, No. 2, 125-139 (2008).
54
Co-training by committee: a generalized framework for semi-supervised learning with committees. (English)
Int. J. Softw. Inform. 2, No. 2, 95-124 (2008).
55
Random event structures. (English)
Int. J. Softw. Inform. 2, No. 1, 77-88 (2008).
56
Modular Church-Rosser modulo: the complete picture. (English)
Int. J. Softw. Inform. 2, No. 1, 61-75 (2008).
57
Modelling route instructions for robust human-robot interaction on navigation tasks. (English)
Int. J. Softw. Inform. 2, No. 1, 33-60 (2008).
58
Achieving flexibility in off-the-shelf middleware services integration. (English)
Int. J. Softw. Inform. 2, No. 1, 17-31 (2008).
59
Applying value-based software process: an ERP example. (English)
Int. J. Softw. Inform. 2, No. 1, 1-15 (2008).
60
Result 41 to 60 of 66 total
Start
Contact
Print
General Help
