2786 search results - page 144 / 558 » A Practical Technique for Process Abstraction |
ITC
1998
IEEE
15 years 6 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...
150
click to vote
NFM
2011
14 years 8 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...
142
click to vote
GLOBECOM
2007
IEEE
15 years 3 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...
109
click to vote
CEC
2007
IEEE
15 years 8 months 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...
SEMWEB
2007
Springer
15 years 7 months 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...