4839 search results - page 121 / 968 » A survey of computational complexity results in systems and ... |
130
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
128
click to vote
OZCHI
2006
ACM
15 years 7 months ago
2006
ACM
Federated identity management is often viewed by corporations as a solution to support secure online commerce by synthesising complex and fragmented user information into a single...
108
Voted
UM
2007
Springer
15 years 8 months ago
2007
Springer
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Knowledge workers expend considerable effort managing fragmentation, characterized by constant switching among digital artifacts, when executing work activities. Activitycentric c...
123
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...