2025 search results - page 100 / 405 » On the Utility of Inference Mechanisms |
SIGPLAN
2002
13 years 9 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
ISPDC
2003
IEEE
14 years 2 months ago
2003
IEEE
— This paper presents a new power management technique integrated into a multithreaded microcontroller with builtin real-time scheduling schemes. Power management is done by hard...
WOA
2001
13 years 10 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
CTRS
1990
14 years 1 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
ECML
2005
Springer
14 years 2 months ago
2005
Springer
Discriminative learning techniques for sequential data have proven to be more effective than generative models for named entity recognition, information extraction, and other task...