1914 search results - page 318 / 383 » Semantic domains for Handel-C |
IV
2008
IEEE
14 years 4 months ago
2008
IEEE
Although Internet and WWW phenomena are often described using spatial metaphors, the commonest means of geographic orientation - the map - is little used in online navigation. Map...
AH
2008
Springer
14 years 4 months ago
2008
Springer
User Modelling is the core component for the majority of personalisation systems. By keeping a model for every user, a system can successfully personalise its content and utilise a...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
SEMCO
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. W...
SSDBM
2007
IEEE
14 years 4 months ago
2007
IEEE
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...