2786 search results - page 144 / 558 » A Practical Technique for Process Abstraction |
139
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
ABSTRACT - A multiple pass A/D conversion technique is proposed for mixed-signal test applications. Only a single on-chip comparator and sample-and-hold circuit is required to digi...
203
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
204
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract In this paper, we propose a resource allocation algorithm for ergodic weighted-sum rate maximization in downlink OFDMA systems. In contrast to most previous research tha...
155
click to vote
CEC
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— Designing effective behavioral controllers for mobile robots can be difficult and tedious; this process can be circumvented by using unsupervised learning techniques w...
156
click to vote
SEMWEB
2007
Springer
16 years 13 days ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...