519 search results - page 69 / 104 » Granular Problem Solving and Software Engineering |
132
Voted
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
121
Voted
SASO
2010
IEEE
15 years 14 days ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
110
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
119
click to vote
IUI
2005
ACM
15 years 8 months ago
2005
ACM
We present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during...
108
Voted
IUI
2005
ACM
15 years 8 months ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...