883 search results - page 158 / 177 » The Semantics of Verilog Using Transition System Combinators |
AAMAS
2002
Springer
13 years 8 months ago
2002
Springer
Service matchmaking among heterogeneous software agents in the Internet is usually done dynamically and must be efficient. There is an obvious trade-off between the quality and eff...
LREC
2008
13 years 10 months ago
2008
Automatic Term recognition (ATR) is a fundamental processing step preceding more complex tasks such as semantic search and ontology learning. From a large number of methodologies ...
ASSETS
2008
ACM
13 years 11 months ago
2008
ACM
Proper use of headings in web pages can make navigation more efficient for blind web users by indicating semantic di visions in the page. Unfortunately, many web pages do not use ...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
MSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Storage virtualization is becoming more and more important due to the increasing gap between application requirements and the limited functionality offered by storage systems. In...