3435 search results - page 311 / 687 » Understanding Mashup Development |
140
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
130
Voted
CIDR
2009
15 years 4 months ago
2009
Enterprise environments have isolated teams responsible separately for database management and the management of underlying networkattached server-storage infrastructure (referred...
80
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Reinforcement learning (RL) research typically develops algorithms for helping an RL agent best achieve its goals-however they came to be defined--while ignoring the rela...
124
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Approximate MAP inference in graphical models is an important and challenging problem for many domains including computer vision, computational biology and natural language unders...
125
click to vote
ASSETS
2010
ACM
15 years 3 months ago
2010
ACM
We conducted interviews with blind and deaf-blind people to understand how they use the public transit system. In this paper, we discuss key challenges our participants faced and ...