682 search results - page 17 / 137 » Philosophical Issues in Computer Science |
WM
2003
13 years 10 months ago
2003
This paper explores connections between Radical Empiricism (RE), a philosophic attitude developed by William James at the beginning of the 20th century, and Empirical Modelling (E...
CSE
2009
IEEE
14 years 16 days ago
2009
IEEE
Many blog posts deal with current issues, so much attention has been paid to identifying topic trends in blogs. This paper suggests a new metric of selecting topic words. We empiri...
ACSC
2004
IEEE
14 years 11 days ago
2004
IEEE
This paper describes an experimental alerting system under development by the Australian Bureau of Meteorology, initially targetted at (but not restricted to) the aviation sector....
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...