6047 search results - page 972 / 1210 » Modeling with Extend |
111
Voted
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
Activity recognition is a hot topic in context-aware computing. In activity recognition, machine learning techniques have been widely applied to learn the activity models from lab...
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
145
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
—The problem of Adjacent Satellite Interference (ACI) within the Direct-To-Home (DTH) satellite broadcast reception scenario is considered. The use of small DTH frontend receptio...
110
Voted
ASIACRYPT
2007
Springer
15 years 9 months ago
2007
Springer
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...