2308 search results - page 251 / 462 » Representing Symbolic Reasoning |
175
click to vote
GEOINFORMATICA
1998
15 years 6 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
179
click to vote
ACIIDS
2010
IEEE
15 years 4 months ago
2010
IEEE
The environments in which ambient agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an ambient a...
197
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
High-order functions are the sole elements in a class of recursive functions. The functions are related to each other through application, i.e., applying a function to an argument...
199
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...
313
click to vote
ASUNAM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—In this paper we introduce a new model to represent an interconnected network of networks. This model is fundamental to reason about the real organization of on-line soc...