320 search results - page 62 / 64 » Model Driven Fast Prototyping: A Semantic Approach |
CSE
2009
IEEE
14 years 16 hour ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...
DEXA
2009
Springer
13 years 11 months ago
2009
Springer
Tagging has become increasingly popular and useful across various social networks and applications. It allows users to classify and organize resources for improving the retrieval p...
DLOG
2010
13 years 3 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Web sites are designed for graphical mode of interaction. Sighted users can "cut to the chase" and quickly identify relevant information in Web pages. On the contrary, i...