11436 search results - page 240 / 2288 » Modeling Real Reasoning |
234
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and delicious.co...
157
Voted
NMR
2004
Springer
15 years 8 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
169
Voted
LOGCOM
1998
15 years 3 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
127
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded software design for real time reactive system
161
click to vote
RTCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...