2771 search results - page 231 / 555 » A General Computational Treatment of the Comparative |
167
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
190
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
Resource-Limited Genetic Programming is a bloat control technique that imposes a single limit on the total amount of resources available to the entire population, where resources ...
142
click to vote
MHCI
2005
Springer
2005
Springer
Augmenting audio messages with visual directions in mobile guides: an evaluation of three approaches
16 years 1 days ago
Supporting users’ navigation is a fundamental feature of mobile guides. This paper presents an experimental evaluation comparing three different ways of providing navigation gu...
175
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
162
click to vote
ITICSE
2004
ACM
15 years 12 months ago
2004
ACM
Prior research on pair programming has found that compared to students who work alone, students who pair have shown increased confidence in their work, greater success in CS1, an...