6155 search results - page 240 / 1231 » A language for multiple models of computation |
159
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. In this paper, we design an Attention Focus Kalman Filter (AFKF) a framework that offers interaction capabilities by constructing an eyemovement language, provides real-t...
184
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
180
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
183
click to vote
MSWIM
2009
ACM
16 years 1 months ago
2009
ACM
The provision of rich multimedia services, such as Mobile TV, is considered of key importance for the Long Term Evolution (LTE) proliferation in mobile market. To this direction, ...
207
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...