Sciweavers

8067 search results - page 675 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
ICSE
1997
IEEE-ACM
15 years 10 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
CG
2006
Springer
15 years 7 months ago
Interactive physically-based simulation of catheter and guidewire
For over 20 years, interventional methods have improved the outcomes of patients with cardiovascular disease or stroke. However, these procedures require an intricate combination ...
Julien Lenoir, Stephane Cotin, Christian Duriez, P...
CIKM
2010
Springer
15 years 5 months ago
Improving verbose queries using subset distribution
Dealing with verbose (or long) queries poses a new challenge for information retrieval. Selecting a subset of the original query (a "sub-query") has been shown to be an ...
Xiaobing Xue, Samuel Huston, W. Bruce Croft

Publication
363views
14 years 6 months ago
Detecting and Discriminating Behavioural Anomalies
This paper aims to address the problem of anomaly detection and discrimination in complex behaviours, where anomalies are subtle and difficult to detect owing to the complex tempor...
Chen Change Loy, Tao Xiang, Shaogang Gong
JMLR
2012
13 years 9 months ago
Online Incremental Feature Learning with Denoising Autoencoders
While determining model complexity is an important problem in machine learning, many feature learning algorithms rely on cross-validation to choose an optimal number of features, ...
Guanyu Zhou, Kihyuk Sohn, Honglak Lee