2086 search results - page 228 / 418 » Mathematical Theory Exploration |
140
Voted
CIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
151
Voted
SDM
2008
SIAM
15 years 5 months ago
2008
SIAM
In constrained clustering it is common to model the pairwise constraints as edges on the graph of observations. Using results from graph theory, we analyze such constraint graphs ...
107
Voted
WSCG
2003
15 years 5 months ago
2003
This paper proposes a rational classification of Islamic Geometric Patterns (IGP) based on the Minimum Number of Grids (MNG) and Lowest Geometric Shape (LGS) used in the construct...
133
Voted
JASIS
2008
15 years 3 months ago
2008
mation science has shown that human abstractors extract sentences for summaries based on the hierarchical structure of documents; however, the existing automatic summarization mode...
133
Voted
SAT
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...