3971 search results - page 350 / 795 » On the Use of Properties in Java Applications |
164
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
180
click to vote
ACSC
2006
IEEE
16 years 24 days 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 ...
152
Voted
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
213
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Large, multidimensional datasets are difficult to visualize and analyze. Visualization interfaces are constrained in resolution and dimension, so cluttering and problems of project...
245
click to vote
JMLR
2010
15 years 1 months ago
2010
In this paper, we propose a general framework for sparse semi-supervised learning, which concerns using a small portion of unlabeled data and a few labeled data to represent targe...