Sciweavers

7489 search results - page 112 / 1498
» Challenges for biologically-inspired computing
Sort
View
117
Voted
TSMC
2008
113views more  TSMC 2008»
15 years 4 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
116
Voted
ITS
2010
Springer
134views Multimedia» more  ITS 2010»
15 years 8 months ago
Learning to Argue Using Computers - A View from Teachers, Researchers, and System Developers
The ability to argue is essential in many aspects of life, but traditional face-to-face tutoring approaches do not scale up well. A solution for this dilemma may be computer-suppor...
Frank Loll, Oliver Scheuer, Bruce M. McLaren, Niel...
138
Voted
HICSS
1994
IEEE
117views Biometrics» more  HICSS 1994»
15 years 8 months ago
Providing for Organizational Memory in Computer-Supported Meetings
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...
Gerhard Schwabe
137
Voted
NIPS
2008
15 years 6 months ago
Fast Computation of Posterior Mode in Multi-Level Hierarchical Models
Multi-level hierarchical models provide an attractive framework for incorporating correlations induced in a response variable organized in a hierarchy. Model fitting is challengin...
Liang Zhang, Deepak Agarwal
141
Voted
COMPUTER
1999
95views more  COMPUTER 1999»
15 years 4 months ago
Wide-Area Computing: Resource Sharing on a Large Scale
abstract over a complex set of resources and provide a high-level way to share and manage them over the network. To be effective, such a system must address the challenges posed by...
Andrew S. Grimshaw, Adam Ferrari, Frederick Knabe,...