1833 search results - page 170 / 367 » Mechanized Verification with Sharing |
184
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
TD-FALCON (Temporal Difference - Fusion Architecture for Learning, COgnition, and Navigation) is a class of self-organizing neural networks that incorporates Temporal Difference (...
163
click to vote
ENGL
2008
15 years 6 months ago
2008
This paper proposes the LQ-Servo controller for AQM (Active Queue Management) routers. The proposed controller structure is made by taking a traditional servo mechanism based on Li...
189
click to vote
COMPSYSTECH
2009
15 years 4 months ago
2009
: The paper investigates first the role of artifacts in a cooperative work environment. It shows the different types of artifacts used in work groups. Then, it stresses the charact...
163
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Websites serve content both through Web Services as well as through user-viewable webpages. While the consumers of web-services are typically ‘machines’, webpages are meant fo...
186
click to vote
CTRSA
2010
Springer
16 years 1 months ago
2010
Springer
Fairly exchanging digital content is an everyday problem. It has been shown that fair exchange cannot be done without a trusted third party (called the Arbiter). Yet, even with a ...