2233 search results - page 21 / 447 » On the Complexity of Theory Curbing |
117
Voted
TSMC
2010
14 years 8 months ago
2010
There exists a widely recognized need to better understand and manage complex "systems of systems," ranging from biology, ecology, and medicine to network-centric technol...
109
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally pose...
122
Voted
JAPLL
2006
15 years 1 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
129
Voted
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
We apply statistical relational learning to a database of criminal and terrorist activity to predict attributes and event outcomes. The database stems from a collection of news ar...
103
click to vote
JOLLI
1998
15 years 1 months ago
1998
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...