979 search results - page 54 / 196 » Presentations for Abstract Context Institutions |
ICALP
2001
Springer
14 years 24 days ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
PRIB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Supervised classifiers require manually labeled training samples to classify unlabeled objects. Active Learning (AL) can be used to selectively label only “ambiguous...
FGCN
2008
IEEE
14 years 2 months ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
KDD
2004
ACM
14 years 8 months ago
2004
ACM
Abstract. We present a Context Ultra-Sensitive Approach based on two-step Recommender systems (CUSA-2step-Rec). Our approach relies on a committee of profile-specific neural networ...
SMC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Today’s enterprises are confronted with a challenging environment that demands continuous transformations. Globalized markets, disruptive technological innovations, an...