Sciweavers

3616 search results - page 136 / 724
» Support Tucker Machines
Sort
View
IJCSA
2007
84views more  IJCSA 2007»
15 years 6 months ago
Real Time Model Checking Using Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
Wiktor B. Daszczuk
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 1 months ago
Machine Science in Biomedicine: Practicalities, Pitfalls and Potential
Machine Science, or Data-driven Research, is a new and interesting scientific methodology that uses advanced computational techniques to identify, retrieve, classify and analyse da...
Thomas W. Kelsey, W. Hamish B. Wallace
ICCV
2003
IEEE
16 years 8 months ago
Machine Learning and Multiscale Methods in the Identification of Bivalve Larvae
This paper describes a novel application of support vector machines and multiscale texture and color invariants to a problem in biological oceanography: the identification of 6 sp...
Sanjay Tiwari, Scott Gallager
SIGIR
2004
ACM
15 years 12 months ago
Human versus machine in the topic distillation task
This paper reports on and discusses a set of user experiments using the TREC 2003 Web interactive track protocol. The focus is on comparing humans and machine algorithms in terms ...
Mingfang Wu, Gheorghe Muresan, Alistair McLean, Mu...
FIW
2009
163views Communications» more  FIW 2009»
15 years 4 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...