626 search results - page 77 / 126 » When Can Formal Methods Make a Real Difference |
132
Voted
CIARP
2006
Springer
15 years 5 months ago
2006
Springer
The Neural Gas (NG) is a Vector Quantization technique where a set of prototypes self organize to represent the topology structure of the data. The learning algorithm of the Neural...
135
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Spatial classification is the task of learning models to predict class labels based on the features of entities as well as the spatial relationships to other entities and their fe...
137
Voted
CHI
2001
ACM
16 years 3 months ago
2001
ACM
In human-to-human interaction, people sometimes are able to pick up and respond sensitively to the other's internal state as it shifts moment by moment over the course of an ...
130
Voted
ICDCS
2009
IEEE
16 years 20 days ago
2009
IEEE
Content sharing through vehicle-to-vehicle communication can help people find their interested content on the road. In VANETs, due to limited contact duration and unreliable wire...
158
Voted
WSC
1997
15 years 4 months ago
1997
Effective operational control of a manufacturing system that has routing flexibility is dependent upon being able to make informed real-time decisions in the event of a system dis...