Sciweavers

1389 search results - page 128 / 278
» Definability as hypercomputational effect
Sort
View
SCSC
2007
13 years 10 months ago
Damage mechanics modeling of concurrent thermal and vibration loading on electronics packaging
— The problem of concurrent thermal and vibration loading has not been thoroughly studied even though it is common in electronic packaging applications. Here we attempt to addres...
Cemal Basaran, Juan Gomez, Minghui Lin, Shidong Li
AAAI
2004
13 years 10 months ago
Error Detection and Impact-Sensitive Instance Ranking in Noisy Datasets
Given a noisy dataset, how to locate erroneous instances and attributes and rank suspicious instances based on their impacts on the system performance is an interesting and import...
Xingquan Zhu, Xindong Wu, Ying Yang
GAMEON
2003
13 years 10 months ago
Automatic Acquisition of Actions for Animated Agents
The generation of animated human figures especially in crowd scenes has many applications in such domains as the special effects industry, computer games or for the simulation of ...
Adam Szarowicz, Marek Mittmann, Paolo Remagnino, J...
NIPS
2004
13 years 10 months ago
Co-Validation: Using Model Disagreement on Unlabeled Data to Validate Classification Algorithms
In the context of binary classification, we define disagreement as a measure of how often two independently-trained models differ in their classification of unlabeled data. We exp...
Omid Madani, David M. Pennock, Gary William Flake
NSDI
2004
13 years 10 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler