Sciweavers

29 search results - page 4 / 6
» ifip 2001
Sort
View
IFIP7
2001
Springer
137views Optimization» more  IFIP7 2001»
13 years 10 months ago
Data Mining via Support Vector Machines
Support vector machines (SVMs) have played a key role in broad classes of problems arising in various fields. Much more recently, SVMs have become the tool of choice for problems...
Olvi L. Mangasarian
IFIP
2004
Springer
13 years 11 months ago
Formal Analysis of a Fair Payment Protocol
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
Jan Cederquist, Muhammad Torabi Dashti
IFIP
1999
Springer
13 years 10 months ago
The Tyranny of Space in Organizational Analysis
We want to understand organizational process as the temporal making of meanings, but our vocabulary for doing so is predominantly spatial. Some mistakes this has led to in my own ...
Richard J. Boland Jr.
IFIP13
2004
13 years 7 months ago
The Team-Based Operation of Safety-Critical Programmable Systems
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA's Aviation Safety Rep...
C. W. Johnson
IFIP
2001
Springer
13 years 10 months ago
Systemic Functional Hypertexts (SFHT):
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
Alexander Mehler, Rodney J. Clarke