4469 search results - page 215 / 894 » A Language for Role Specifications |
147
click to vote
LOGCOM
2006
15 years 6 months ago
2006
We categorize in recursion-theoretic terms the expressivity of a number of first-order languages that allow quantification over regions in Euclidean space. Specifically we show th...
176
click to vote
DICTA
2007
15 years 8 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...
252
click to vote
LDTA
2010
15 years 6 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
174
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
Sparse matrices are first class objects in many VHLLs (very high level languages) used for scientific computing. They are a basic building block for various numerical and combinat...
143
click to vote
FLAIRS
2001
15 years 8 months ago
2001
For several years wehave been pursuing a vision of knowledgeon demand,the ability for all users to access knowledgeregardlessof time, location, deviceor level of expertise. This p...