5404 search results - page 529 / 1081 » Global Computing for Bioinformatics |
260
click to vote
APCCM
2009
15 years 8 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
172
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
194
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the runtime of the Binary Particle Swarm Optimization (PSO) algorithm introduced by Kennedy and Eberhart (1997). The Binary PSO maintains a global best solution and...
186
click to vote
GISCIENCE
2008
Springer
15 years 8 months ago
2008
Springer
Movement patterns, like flocking and converging, leading and following, are examples of high-level process knowledge derived from lowlevel trajectory data. Conventional techniques...
218
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...