1914 search results - page 269 / 383 » Semantic domains for Handel-C |
107
click to vote
RWEB
2009
Springer
15 years 7 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
113
Voted
ICSM
2008
IEEE
15 years 7 months ago
2008
IEEE
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...
93
Voted
SEMCO
2008
IEEE
15 years 7 months ago
2008
IEEE
Blogs, discussion forums and social networking sites are an excellent source for people’s opinions on a wide range of topics. We examine the application of voting theory to “I...
101
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
109
Voted
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...