1005 search results - page 73 / 201 » A Language for Manipulating Arrays |
127
click to vote
ACMACE
2006
ACM
15 years 10 months ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...
148
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
146
click to vote
APIN
2000
15 years 3 months ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
123
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
169
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...