5962 search results - page 653 / 1193 » Working with Patterns and Code |
158
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
214
click to vote
GW
1999
Springer
15 years 11 months ago
1999
Springer
Led by the fundamental role that rhythms apparently play in speech and gestural communication among humans, this study was undertaken to substantiate a biologically motivated model...
181
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
The crew planning problem has been successfully solved on a loosely connected network of workstations (NOW) using advanced computational techniques and efficient communication pat...
163
click to vote
SHAPE
1999
Springer
15 years 11 months ago
1999
Springer
The objective of this work is the automatic detection and grouping of imaged elements which repeat in a scene. We show that structures that repeat in the world (for example wall p...
173
click to vote
FM
1997
Springer
15 years 11 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...