1999 search results - page 320 / 400 » Dependently Typed Grammars |
171
click to vote
PAAPP
2006
15 years 6 months ago
2006
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
153
click to vote
SIAMSC
2008
15 years 6 months ago
2008
A powerful method for solving planar eigenvalue problems is the Method of Particular Solutions (MPS), which is also well known under the name "point matching method". In ...
172
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
We examine the effect of incorporating gaze-based attention feedback from the user on personalizing the search process. Employing eye tracking data, we keep track of document part...
186
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
146
click to vote
ACTA
2005
15 years 6 months ago
2005
A hybrid network of evolutionary processors (an HNEP) consists of several language processors which are located in the nodes of a virtual graph and able to perform only one type o...