1546 search results - page 146 / 310 » Context-Aware Computing with Sound |
141
click to vote
ACMACE
2008
ACM
15 years 7 months ago
2008
ACM
Dimensionality reduction is a statistical tool commonly used to map high-dimensional data into lower a dimensionality. The transformed data is typically more suitable for regressi...
134
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
153
click to vote
MFCS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...
129
click to vote
ISMVL
1994
IEEE
15 years 9 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
112
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we explore the tactical aspects needed for the creation of an intelligent computer-pool player. The research results in three modifications to our previous model. An ...