264 search results - page 6 / 53 » Time Constraint Patterns for Event B Development |
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
DAGSTUHL
2003
13 years 8 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
DELTA
2006
IEEE
13 years 11 months ago
2006
IEEE
The mapping of image processing algorithms to hardware is complicated by several hardware constraints including limited processing time, limited access to data and limited resourc...
ICAC
2006
IEEE
14 years 1 months ago
2006
IEEE
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
EMNLP
2008
13 years 9 months ago
2008
Previous work on ordering events in text has typically focused on local pairwise decisions, ignoring globally inconsistent labels. However, temporal ordering is the type of domain...