6020 search results - page 1192 / 1204 » A New Approach to Model Counting |
122
click to vote
SSDBM
2005
IEEE
15 years 5 months ago
2005
IEEE
Modern geographic information systems do not only have to handle static information but also dynamically moving objects. Clustering algorithms for these moving objects provide new...
136
click to vote
AOSD
2005
ACM
15 years 5 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
134
click to vote
VEE
2005
ACM
15 years 5 months ago
2005
ACM
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
DIGRA
2005
Springer
15 years 5 months ago
2005
Springer
Academics and industry professionals alike have long been interested in developing a nuanced and empirically sound typography of online gamers. Designers and engineers are aware o...
109
click to vote
IPMI
2005
Springer
15 years 5 months ago
2005
Springer
Automatic multi-modal image registration is central to numerous tasks in medical imaging today and has a vast range of applications e.g., image guidance, atlas construction, etc. ...