4126 search results - page 103 / 826 » Relationships with other Formalisms |
165
click to vote
ICRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
185
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
146
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
174
click to vote
EELC
2006
15 years 10 months ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
143
click to vote
BIOTECHNO
2008
IEEE
16 years 24 days ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...