16091 search results - page 408 / 3219 » Solving |
207
click to vote
RTSS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
164
Voted
SMI
2005
IEEE
16 years 10 days ago
2005
IEEE
Gotsman et al. (SIGGRAPH 2003) presented the first method to generate a provably bijective parameterization of a closed genus-0 manifold mesh to the unit sphere. This involves the...
153
click to vote
VL
2005
IEEE
16 years 10 days ago
2005
IEEE
Previous research has revealed gender differences that impact females’ willingness to adopt software features in end users’ programming environments. Since these features have...
162
click to vote
AAMAS
2005
Springer
16 years 9 days ago
2005
Springer
This research aims at studying the effects of exchanging information during the learning process in Multiagent Systems. The concept of advice-exchange, introduced in (Nunes and Ol...
149
click to vote
AIED
2005
Springer
16 years 9 days ago
2005
Springer
Andes is a mature intelligent tutoring system that has helped hundreds of students improve their learning of university physics. It replaces pencil and paper problem solving homewo...