Sciweavers

2989 search results - page 107 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
MM
2006
ACM
175views Multimedia» more  MM 2006»
15 years 3 months ago
The challenge problem for automated detection of 101 semantic concepts in multimedia
We introduce the challenge problem for generic video indexing to gain insight in intermediate steps that affect performance of multimedia analysis methods, while at the same time...
Cees Snoek, Marcel Worring, Jan van Gemert, Jan-Ma...
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
15 years 1 months ago
Efficient Strictness Analysis of Haskell
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
Kristian Damm Jensen, Peter Hjæresen, Mads R...
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 8 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
ESANN
2000
14 years 11 months ago
Influence of weight-decay training in input selection methods
We describe the results of a research on the effect of weight-decay (WD) in input selection methods based on the analysis of a trained multilayer feedforward network. It was propos...
Mercedes Fernández-Redondo, Carlos Hern&aac...
WWW
2004
ACM
15 years 10 months ago
Authoring of learning styles in adaptive hypermedia: problems and solutions
Learning styles, as well as the best ways of responding with corresponding instructional strategies, have been intensively studied in the classical educational (classroom) setting...
Natalia Stash, Alexandra I. Cristea, Paul De Bra