1059 search results - page 127 / 212 » Unification-Based Semantic Interpretation |
170
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
134
click to vote
TCBB
2010
15 years 2 months ago
2010
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...
125
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
Tempus Fugit (“Time Flies”) is the first of a new generation of Personal Information Management (PIM) systems. A PIM system incorporates an electronic calendar, “to-do” li...
141
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
147
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...