1342 search results - page 133 / 269 » Shape reasoning and understanding |
170
Voted
LICS
2005
IEEE
16 years 17 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
193
Voted
GROUP
2005
ACM
16 years 17 days ago
2005
ACM
Information seeking and management practices are an integral aspect of people’s daily work. However, we still have little understanding of collaboration in the information seeki...
214
Voted
MRCO
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
172
click to vote
RISE
2005
Springer
16 years 14 days ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
187
Voted
TARK
2005
Springer
16 years 14 days ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...