5456 search results - page 175 / 1092 » General Equilibrium Theory |
260
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
171
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
173
click to vote
ACMSE
2005
ACM
16 years 1 days ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...
165
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc rout...
194
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We sought to create a social embodied conversational agent to support group interactions, using ‘balance theory’ from social science research on human-human relations. We cond...