3793 search results - page 183 / 759 » Expressive Description Logics |
113
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
206
click to vote
EACL
2010
ACL Anthology
15 years 6 months ago
2010
ACL Anthology
The premise of the work presented in this chapter is that much of the existing work on the generation of referring expressions has focused on aspects of the problem that appear to ...
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
136
click to vote
NAR
2006
15 years 4 months ago
2006
EMAGE (http://genex.hgu.mrc.ac.uk/Emage/database) is a freely available, curated database of gene expression patterns generated by in situ techniques in the developing mouse embry...
139
Voted
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...