12193 search results - page 428 / 2439 » It's not all about |
174
click to vote
DOA
2000
15 years 8 months ago
2000
In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of network...
183
click to vote
IJCAI
1997
15 years 8 months ago
1997
Planning for real-time applications involves decisions not only about what actions to take in what states to progress toward achieving goals (the traditional decision problem face...
241
click to vote
TPCD
1994
15 years 8 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
173
click to vote
AAAI
1990
15 years 8 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
186
click to vote
BCSHCI
2009
15 years 8 months ago
2009
Although user behavior in the popular Facebook social network site has been intensely investigated since the site came live in 2004, we know little about users' emotions and ...