7988 search results - page 1356 / 1598 » A Useful Undecidable Theory |
147
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...
179
click to vote
ALT
2008
Springer
16 years 1 months ago
2008
Springer
Abstract For many centuries scientists have wondered how the human brain represents thoughts in terms of the underlying biology of neural activity. Philosophers, linguists, cogniti...
150
Voted
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
138
Voted
IPSN
2010
Springer
15 years 11 months ago
2010
Springer
We consider the problem of selecting an optimal set of sensors, as determined, for example, by the predictive accuracy of the resulting sensor network. Given an underlying metric ...
145
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...