1036 search results - page 105 / 208 » Design methods as discourse on practice |
142
Voted
MOMPES
2007
IEEE
15 years 9 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
119
Voted
VLSID
1997
IEEE
15 years 7 months ago
1997
IEEE
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
121
click to vote
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
108
Voted
KDD
1995
ACM
15 years 6 months ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
150
click to vote
AAAI
2006
15 years 4 months ago
2006
Reinforcement learning problems are commonly tackled with temporal difference methods, which attempt to estimate the agent's optimal value function. In most real-world proble...