841 search results - page 44 / 169 » Generalized Projection Based M-Estimator: Theory and Applica... |
AAAI
2008
13 years 9 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
ACMICEC
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
MOBIHOC
2009
ACM
14 years 8 months ago
2009
ACM
Providing differentiated Quality of Service (QoS) over unreliable wireless channels is an important challenge for supporting several future applications. We analyze a model that h...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
We present the MotionBeam metaphor for character interaction with handheld projectors. Our work draws from the tradition of pre-cinema handheld projectors that use direct physical...
TAPSOFT
1997
Springer
14 years 5 days ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...