Sciweavers

1913 search results - page 76 / 383
» Group Input Machine
Sort
View
87
Voted
ICALT
2006
IEEE
15 years 6 months ago
Social Software and the Emergence of Control
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
Jon Dron
102
Voted
EDUTAINMENT
2006
Springer
15 years 4 months ago
Reviewing the Potential of Virtual Learning Environments in Schools
This paper considers the potential of Virtual Learning Environments in schools focusing on 2 distinct user groups. Firstly, the children and teachers engaged in the learning situat...
Malcolm Padmore, Lynne E. Hall, Bob Hogg, Gareth P...
DAC
2003
ACM
16 years 1 months ago
Support vector machines for analog circuit performance representation
The use of Support Vector Machines (SVMs) to represent the performance space of analog circuits is explored. In abstract terms, an analog circuit maps a set of input design parame...
Fernando De Bernardinis, Michael I. Jordan, Albert...
OSDI
2008
ACM
16 years 26 days ago
Predicting Computer System Failures Using Support Vector Machines
Mitigating the impact of computer failure is possible if accurate failure predictions are provided. Resources, applications, and services can be scheduled around predicted failure...
Errin W. Fulp, Glenn A. Fink, Jereme N. Haack
ESORICS
2002
Springer
16 years 5 days ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz