1573 search results - page 140 / 315 » Signs and Formal Concepts |
124
click to vote
MEMOCODE
2010
IEEE
14 years 12 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
103
click to vote
SAC
2010
ACM
14 years 8 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
130
click to vote
AISB
2008
Springer
15 years 4 months ago
2008
Springer
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
109
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
Among the retrieval models that have been proposed in the last years, the ESA model of Gabrilovich and Markovitch received much attention. The authors report on a significant imp...