7109 search results - page 1281 / 1422 » Process Algebra with Combinators |
137
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
Fuzzy constraints are a popular approach to handle preferences and over-constrained problems in scenarios where one needs to be cautious, such as in medical or space applications. ...
144
click to vote
ESA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Kinetic data structures provide a framework for computing combinatorial properties of continuously moving objects. Although kinetic data structures for many problems have...
151
Voted
ESAW
2008
Springer
15 years 6 months ago
2008
Springer
A workflow involves the coordinated execution of multiple operations and can be used to capture business processes. Typical workflow management systems are centralised and rigid; t...
155
Voted
ETRA
2008
ACM
15 years 6 months ago
2008
ACM
Under natural viewing conditions, human observers use shifts in gaze to allocate processing resources to subsets of the visual input. There are many computational models that try ...
164
click to vote
CASCON
2007
15 years 6 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...