11561 search results - page 407 / 2313 » A Language for Biochemical Systems |
198
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
219
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
143
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate ...
208
click to vote
ICALP
2000
Springer
15 years 11 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
177
click to vote
AAAI
2006
15 years 9 months ago
2006
Computational humor is a challenge with implications for many classical fields in AI such as, for example, natural language processing, intelligent human-computer interaction, rea...