1664 search results - page 164 / 333 » Towards Partial Reasoning |
178
click to vote
GC
2010
Springer
15 years 3 months ago
2010
Springer
In 1988, Seiya Negami published a conjecture stating that a graph G has a finite planar cover (i.e. a homomorphism from some planar graph onto G which maps the vertex neighbourhoo...
207
click to vote
HICSS
2011
IEEE
14 years 8 months ago
2011
IEEE
Open source projects do have requirements; they are, however, mostly informal, text descriptions found in requests, forums, and other correspondence. Understanding of such require...
130
click to vote
CSCW
2012
ACM
14 years 10 days ago
2012
ACM
We examine patterns of participation by employees who are members of multiple online communities in an enterprise communities service. Our analysis focuses on statistical patterns...
146
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
142
click to vote
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...