626 search results - page 100 / 126 » When Can Formal Methods Make a Real Difference |
185
Voted
3DPH
2009
15 years 4 months ago
2009
3D representations of human physiology provide interesting options in the field of education. Understanding the human brain seems to be much easier when the anatomical structure is...
153
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
Traditionally, research in identifying structured entities in documents has proceeded independently of document categorization research. In this paper, we observe that these two t...
152
Voted
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
Recent years have witnessed the impacts of distributed content sharing (Wikipedia, Blogger), social networks (Facebook, MySpace), sensor networks, and pervasive computing. We beli...
145
click to vote
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...
161
Voted
INFORMATICALT
2010
15 years 22 days ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...