569 search results - page 89 / 114 » An Empirical Study of Structural Constraint Solving Techniqu... |
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
Many database applications have the emerging need to support fuzzy queries that ask for strings that are similar to a given string, such as “name similar to smith” and “tele...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Mobile phones have the potential to be useful agents for their owners by detecting and reporting situations that are of interest. Several challenges emerge in the case of detectin...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
UAI
2008
13 years 9 months ago
2008
Many algorithms and applications involve repeatedly solving variations of the same inference problem; for example we may want to introduce new evidence to the model or perform upd...