1648 search results - page 162 / 330 » Structuring namespace descriptions |
145
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
Most existing high-level synthesis(HLS) systems attempt to generate a circuit from a behavioral description \out of the void", using the entire design space as the search dom...
149
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Currently, there are many hypertext-like tools and database retrieval systems that use keyword search as a means of navigation. While useful for certain tasks, keyword search is i...
146
click to vote
AAAI
2008
15 years 8 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
245
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
205
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...