1280 search results - page 43 / 256 » Soft Typing with Conditional Types |
MICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
Predicated execution has been used to reduce the number of branch mispredictions by eliminating hard-to-predict branches. However, the additional instruction overhead and addition...
GIS
2010
ACM
13 years 7 months ago
2010
ACM
Monitoring vegetation condition is an important issue in the Mediterranean region, in terms of both securing food and preventing fires. Vegetation indices (VIs), mathematical tran...
LPAR
2001
Springer
14 years 1 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
Schulenburg [15] first proposed the idea to model different trader types by supplying different input information sets to a group of homogenous LCS agent. Gershoff [12] investigat...
LREC
2008
13 years 10 months ago
2008
In this paper we discuss the design, acquisition and preprocessing of a Czech audio-visual speech corpus. The corpus is intended for training and testing of existing audio-visual ...