854 search results - page 126 / 171 » Addressing Dynamic Issues of Program Model Checking |
141
click to vote
IJCAI
2001
15 years 3 months ago
2001
Psychological studies on teamwork have shown that an effective team often can anticipate information needs of teammates based on a shared mental model. Existing multi-agent models...
122
click to vote
ISQED
2007
IEEE
15 years 8 months ago
2007
IEEE
— In the past, dynamic voltage and frequency scaling (DVFS) has been widely used for power and energy optimization in embedded system design. As thermal issues become increasingl...
IEEEMSP
2002
IEEE
15 years 7 months ago
2002
IEEE
Music query-by-humming is a challenging problem since the humming query inevitably contains much variation and inaccuracy. Many of the previous methods, which adopt note segmentat...
120
click to vote
BMCBI
2007
15 years 2 months ago
2007
Motivation: The quality of progressive sequence alignments strongly depends on the accuracy of the individual pairwise alignment steps since gaps that are introduced at one step c...
ISLPED
2000
ACM
15 years 6 months ago
2000
ACM
Quality of service (QoS) is one of the key features for new Internet-based multimedia and other applications. Meanwhile, energy remains as a big concern for systems that perform s...