3381 search results - page 378 / 677 » adaptive 2007 |
190
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
162
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
An algorithm for combining results of different clusterings is presented in this paper, the objective of which is to find groups of patterns which are common to all clusterings. T...
180
Voted
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combinati...
183
Voted
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Pervasive Computing envisions distributed applications that optimally leverage the resources present in their ever-changing execution environment. To ease the development of perva...
160
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
In two years of leading agile projects at Avanade, an organization heavy in recent college hires, I’ve learned a number of lessons about how to be successful with junior develop...