1224 search results - page 127 / 245 » Theory decision by decomposition |
106
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
Content fingerprinting provides a compact content-based representation of a multimedia document. An important application of fingerprinting is the identification of modified copie...
119
Voted
FUIN
2010
14 years 10 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
250
Voted
BIS
2011
14 years 23 days ago
2011
This paper presents concept of the strategic knowledge resource network for SMEs. A strategic-knowledge resource in a company represents the knowledge, skills and capabilities of t...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
132
click to vote
ASE
2005
15 years 21 days ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...