563 search results - page 49 / 113 » constraints 2002 |
ENTCS
2002
13 years 7 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
ICCD
2002
IEEE
14 years 4 months ago
2002
IEEE
Low power design techniques have been employed for more than two decades, however an emerging problem is satisfying the test power constraints for avoiding destructive test and im...
DEXAW
2002
IEEE
14 years 18 days ago
2002
IEEE
Mobile information access involves retrieving information from wired service providers. Often there are situations where the information is not available from a single service pro...
SOFTWARE
2002
13 years 7 months ago
2002
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
CA
2002
IEEE
14 years 18 days ago
2002
IEEE
Virtual conversational agents are supposed to combine speech with nonverbal modalities for intelligible and believeable utterances. However, the automatic synthesis of coverbal ge...