7978 search results - page 261 / 1596 » Representation before computation |
172
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
156
click to vote
ISMVL
2007
IEEE
16 years 27 days ago
2007
IEEE
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...
159
Voted
ADBIS
2006
Springer
16 years 18 days ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
169
click to vote
SEUS
2005
IEEE
16 years 6 days ago
2005
IEEE
Nomadic computing environments are composed of heterogeneous mobile computing domains. Unfortunately, the service discovery platforms suitable for each domain are scarcely interop...
146
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...