9405 search results - page 1000 / 1881 » Computing a Model of Set Theory |
225
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
269
click to vote
CANDC
2009
ACM
15 years 5 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
382
click to vote
SIGECOM
2011
ACM
14 years 10 months ago
2011
ACM
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...
228
click to vote
RECOMB
2005
Springer
16 years 8 months ago
2005
Springer
: A series of genome-scale algorithms and high-performance implementations is described and shown to be useful in the genetic analysis of gene transcription. With them it is possib...
189
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Detecting and segmenting cell regions in microscopic images is a challenging task, because cells typically do not have rich features, and their shapes and appearances are highly i...