6978 search results - page 1296 / 1396 » On Proofs in System P |
KES
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present a first system to semi-automatically create a visual representation for a given, short text. We first parse the input text, decompose it into suitable units,...
MICS
2010
13 years 7 months ago
2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
MIDDLEWARE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Data aggregation is a key aspect of many distributed applications, such as distributed sensing, performance monitoring, and distributed diagnostics. In such settings, use...
MSS
2010
IEEE
13 years 7 months ago
2010
IEEE
We consider four different game-theoretic approaches to describe the formation of social networks under mutual consent and costly communication. First, we consider Jackson-Wolins...
PR
2010
13 years 7 months ago
2010
Aggregating statistical representations of classes is an important task for current trends in scaling up learning and recognition, or for addressing them in distributed infrastruc...