9067 search results - page 670 / 1814 » Adaptive Model Checking |
191
Voted
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we present AntNet, a novel adaptive approach to routing tables learning in packet-switched communications networks. AntNet is inspired by the stigmergy model of commu...
215
click to vote
ISCA
1993
IEEE
15 years 11 months ago
1993
IEEE
Parallel programs that use critical sections and are executed on a shared-memory multiprocessor with a writeinvalidate protocol result in invalidation actions that could be elimin...
204
Voted
AH
2006
Springer
15 years 11 months ago
2006
Springer
We built a Web-based adaptive recommendation system for students to select and suggest architectural cases when they analyze "Case Study" work within the architectural de...
211
click to vote
AAAI
2007
15 years 9 months ago
2007
The practical success of broadcast encryption hinges on the ability to (1) revoke the access of compromised keys and (2) determine which keys have been compromised. In this work w...
196
click to vote
CVPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Rigid registration of intraoperative ultrasound (US) and CT is an important technique to provide real-time guidance for preoperative images and models. Due to the speckle noise an...