841 search results - page 44 / 169 » Generalized Projection Based M-Estimator: Theory and Applica... |
100
Voted
AAAI
2008
15 years 1 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...
100
Voted
ACMICEC
2006
ACM
15 years 6 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 ...
118
Voted
MOBIHOC
2009
ACM
16 years 1 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...
111
click to vote
CHI
2011
ACM
14 years 4 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...
103
Voted
TAPSOFT
1997
Springer
15 years 4 months 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...