2268 search results - page 221 / 454 » The Essence of Form Abstraction |
146
click to vote
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...
111
click to vote
IRFC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
109
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
112
Voted
MEMOCODE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...
122
Voted
OTM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Systems supporting situation awareness typically integrate information about a large number of real-world objects anchored in time and space provided by multiple sources....