7430 search results - page 181 / 1486 » Programming Applications in CIFF |
120
Voted
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
140
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
117
click to vote
AROBOTS
2004
15 years 3 months ago
2004
We propose a new method to program robots based on Bayesian inference and learning. It is called BRP for Bayesian Robot Programming. The capacities of this programming method are d...
114
click to vote
TOG
2008
15 years 3 months ago
2008
We present BSGP, a new programming language for general purpose computation on the GPU. A BSGP program looks much the same as a sequential C program. Programmers only need to supp...
267
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...