4460 search results - page 841 / 892 » Formal methods for interactive systems |
133
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
115
Voted
AAAI
2008
15 years 6 months ago
2008
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...
126
Voted
WSC
2007
15 years 6 months ago
2007
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
137
Voted
WSC
2008
15 years 6 months ago
2008
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
156
click to vote
DOLAP
2005
ACM
15 years 5 months ago
2005
ACM
OLAP users heavily rely on visualization of query answers for their interactive analysis of massive amounts of data. Very often, these answers cannot be visualized entirely and th...