1982 search results - page 315 / 397 » Parametricity and dependent types |
MR
2006
14 years 10 months ago
2006
Power semiconductor devices under short-circuit are submitted to high current and high voltage simultaneously that induce high electrical and thermal stresses. Several types of ev...
PAAPP
2006
14 years 10 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,...
SIAMSC
2008
14 years 10 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 ...
SIGIR
2008
ACM
14 years 10 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...
110
click to vote
SAC
2006
ACM
14 years 10 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...