652 search results - page 64 / 131 » Legal Decisions and Integrated Systems |
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
JTAER
2010
14 years 8 months ago
2010
The success and competitive edge of enterprises has become increasingly dependent on the enterprises’ agility to become members in business networks that support their own busin...
DATAMINE
2002
14 years 9 months ago
2002
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...
KI
2009
Springer
15 years 4 months ago
2009
Springer
This paper investigates potential effects of a motivational module on a robotic arm, which is controlled based on the biologicalinspired SURE REACH system. The motivational module...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Due to the latest developments in European environmental legislation, producers will be responsible for collecting, sorting and recycling of discarded products at the end of their...