4609 search results - page 743 / 922 » Automatic Generation of Sigma-Protocols |
170
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— Vision is one of the most powerful sensory modalities in robotics, allowing operation in dynamic environments. One of our long-term research interests is mobile manipulation, w...
179
click to vote
ICSM
2005
IEEE
16 years 2 days ago
2005
IEEE
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
193
click to vote
ICSM
2005
IEEE
16 years 2 days ago
2005
IEEE
Several rapid-feedback-based quality assurance mechanisms are used to manage the quality of continuously evolving software. Even though graphical user interfaces (GUIs) are one of...
157
click to vote
ITCC
2005
IEEE
16 years 2 days ago
2005
IEEE
We propose a Web recommendation system based on a maximum entropy model. Under the maximum entropy principle, we can combine multiple levels of knowledge about users’ navigation...
184
click to vote
LAWEB
2005
IEEE
16 years 2 days ago
2005
IEEE
Nowadays, networks can be accessed by multiple devices with different characteristics. Some of these characteristics such as low processing power and memory capacity restrict the ...