305 search results - page 44 / 61 » An Extension of System F with Subtyping |
DEXA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Temporal data are abundantly present in many application domains such as banking, financial, clinical, geographical applications and so on. Temporal data have been extens...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
CVPR
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a simple and universal camera calibration method. Instead of extensive setups we are exploiting the accurate angular positions of fixed stars. High precision is achieve...
CISIS
2010
IEEE
13 years 11 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
SGP
2007
13 years 10 months ago
2007
We present two new Delaunay refinement algorithms, second an extension of the first. For a given input domain (a set of points or a planar straight line graph), and a threshold an...