Sciweavers

2020 search results - page 257 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
SPIN
2007
Springer
16 years 13 days ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
SIGIR
2010
ACM
15 years 10 months ago
Effective music tagging through advanced statistical modeling
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
Jialie Shen, Wang Meng, Shuichang Yan, HweeHwa Pan...
JCNS
2006
69views more  JCNS 2006»
15 years 6 months ago
Effects of stimulus transformations on estimates of sensory neuron selectivity
Stimulus selectivity of sensory systems is often characterized by analyzing responseconditioned stimulus ensembles. However, in many cases these response-triggered stimulus sets h...
Alexander G. Dimitrov, Tomás Gedeon
JNW
2008
171views more  JNW 2008»
15 years 6 months ago
The Necessity of Semantic Technologies in Grid Discovery
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
Serena Pastore
HPCC
2007
Springer
15 years 10 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...