6201 search results - page 235 / 1241 » Implementation of Axiomatic Language |
159
click to vote
ACMACE
2008
ACM
15 years 7 months ago
2008
ACM
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...
147
click to vote
DICTA
2007
15 years 6 months ago
2007
Apply is a Domain-Specific Language for image processing and low-level computer vision. Apply allows programmers to write kernel operations that focus on the computation for a sin...
136
click to vote
UAI
2008
15 years 6 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
181
click to vote
EUROPLOP
2006
15 years 6 months ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
146
click to vote
DSS
2008
15 years 5 months ago
2008
While small-scale search engines in specific domains and languages are increasingly used by Web users, most existing search engine development tools do not support the development...