112 search results - page 22 / 23 » What Can Formal Methods Bring to Systems Biology |
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...
VLDB
1998
ACM
13 years 9 months ago
1998
ACM
Users often can not easily express their queries. For example, in a multimedia image by content setting, the user might want photographs with sunsets; in current systems, like QBI...
AFP
2004
Springer
13 years 10 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
IUI
2006
ACM
13 years 11 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
ICCS
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...