237 search results - page 14 / 48 » Just enough tabling |
CODES
2003
IEEE
14 years 25 days ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
KDD
2002
ACM
14 years 8 months ago
2002
ACM
Many techniques for association rule mining and feature selection require a suitable metric to capture the dependencies among variables in a data set. For example, metrics such as...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...
SIGCOMM
2003
ACM
14 years 24 days ago
2003
ACM
Traceroute is widely used to detect routing problems, characterize end-to-end paths, and discover the Internet topology. Providing an accurate list of the Autonomous Systems (ASes...