9067 search results - page 541 / 1814 » Adaptive Model Checking |
203
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Single-electron devices have drawn much attention in the last two decades. They have been widely used for device research and also show promise as a potential alternative to compl...
187
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
208
click to vote
ICAT
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...
189
Voted
LCN
2006
IEEE
16 years 1 months ago
2006
IEEE
The Internet and the devices that connect to it consume a growing and significant amount of electricity. The utilization of desktop to switch Ethernet links is generally very low ...
159
click to vote
ICRA
2005
IEEE
16 years 20 days ago
2005
IEEE
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...