11160 search results - page 287 / 2232 » Incompleteness in a General Setting |
205
click to vote
ITNG
2010
IEEE
15 years 4 months ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
193
click to vote
IHI
2010
15 years 25 days ago
2010
In this paper we demonstrate a fully automated approach for discovering and monitoring patterns of daily activities. Discovering patterns of daily activities and tracking them can...
165
click to vote
CSCW
2012
ACM
14 years 1 months ago
2012
ACM
We present a tablet-based system to collaboratively track discussion topics and ideas in a seminar-style discussion classroom. Each student uses his or her own tablet to share tex...
180
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
160
click to vote
CP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Machine learning can be utilized to build models that predict the runtime of search algorithms for hard combinatorial problems. Such empirical hardness models have previo...