14078 search results - page 422 / 2816 » Design and Analysis of Computer Algorithms |
172
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
196
click to vote
DSVIS
1997
Springer
15 years 11 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
168
click to vote
HCI
2009
15 years 4 months ago
2009
Current tools for multidisciplinary teams in user-centered software engineering (UCSE) provide little support for the different approaches of the various disciplines in the project...
200
click to vote
STOC
2001
ACM
16 years 7 months ago
2001
ACM
Given a matrix A, it is often desirable to find a good approximation to A that has low rank. We introduce a simple technique for accelerating the computation of such approximation...
157
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Agents engaged in noncooperative interaction may seek to achieve a Nash equilibrium; this requires that agents be aware of others’ rewards. Misinformation about rewards leads to...