6456 search results - page 1027 / 1292 » Constraint Solving on Terms |
175
click to vote
DIALM
2003
ACM
15 years 12 months ago
2003
ACM
A common way of storing spatio-temporal information about mobile devices is in the form of a 3D (2D geography + time) trajectory. We argue that when cellular phones and Personal D...
167
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
212
click to vote
MSWIM
2003
ACM
15 years 12 months ago
2003
ACM
Mobile Ad-Hoc Networks (MANETS) are networks of mobile nodes that do not have a fixed infrastructure. Recent research in this field addresses ways of solving existing problems i...
175
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
183
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Design patterns capture the distilled experience of expert designers. The compositions of design patterns may reuse design experience and solve a set of problems. Design patterns ...