738 search results - page 120 / 148 » Semantic parameterization: A process for modeling domain des... |
106
click to vote
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
134
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
114
click to vote
ICMI
2009
Springer
15 years 8 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
108
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Traditionally, when one wants to learn about a particular topic, one reads a book or a survey paper. With the rapid expansion of the Web, learning in-depth knowledge about a topic...
123
click to vote
ISF
2006
15 years 1 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...