3256 search results - page 487 / 652 » Applications of Formal Methods to System Design and Verifica... |
AAAI
2010
14 years 11 months ago
2010
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
RTSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Modern FPGA devices, which include (multiple) processor core(s) as diffused IP on the silicon die, provide an excellent platform for developing custom multiprocessor systems-on-pr...
143
Voted
CINQ
2004
Springer
15 years 3 months ago
2004
Springer
Spatial data mining is a process used to discover interesting but not explicitly available, highly usable patterns embedded in both spatial and nonspatial data, which are possibly ...
BMCBI
2007
14 years 10 months ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...
128
Voted
TEI
2012
ACM
13 years 5 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...