4961 search results - page 630 / 993 » Homomorphism-Homogeneous Relational Structures |
215
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
201
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...
172
Voted
DASFAA
2008
IEEE
16 years 1 months ago
2008
IEEE
View updating is a long standing difficult problem. Given a view defined over base data sources and a view update, there are several different updates over the base data sources,...
211
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
The ICP (Iterative Closest Point) algorithm is the de facto standard for geometric alignment of threedimensional models when an initial relative pose estimate is available. The ba...
192
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...