1284 search results - page 234 / 257 » On Helping and Interactive Proof Systems |
BMCBI
2005
13 years 8 months ago
2005
Background: Reconstructing regulatory networks from gene expression profiles is a challenging problem of functional genomics. In microarray studies the number of samples is often ...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
ATAL
2006
Springer
14 years 13 days ago
2006
Springer
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
BMCBI
2008
13 years 8 months ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...