5499 search results - page 312 / 1100 » Generalized Rewrite Theories |
197
click to vote
CONTEXT
2005
Springer
16 years 1 months ago
2005
Springer
We propose and develop an approach modeled with multi-attribute utility theory for sensor fusion in context-aware environments. Our approach is distinguished from existing general ...
204
Voted
LPNMR
2004
Springer
16 years 24 days ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
197
click to vote
ICTAI
2002
IEEE
16 years 11 days ago
2002
IEEE
Wavelet neural networks (WNN) have recently attracted great interest, because of their advantages over radial basis function networks (RBFN) as they are universal approximators bu...
183
click to vote
ADBIS
1997
Springer
15 years 11 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
240
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...