3619 search results - page 417 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
159
click to vote
CW
2005
IEEE
15 years 10 months ago
2005
IEEE
Virtual Enterprise enables companies to collaborate through sharing of resources, and therefore allows them to enjoy the benefits of virtual integration. The essence of Virtual En...
176
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 4 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
154
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
An ever-increasing amount of data and semantic knowledge in the domain of life sciences is bringing about new data management challenges. In this paper we focus on adding the seman...
163
click to vote
CVPR
2004
IEEE
15 years 8 months ago
2004
IEEE
Automatic image orientation detection for natural images is a useful, yet challenging research area. Humans use scene context and semantic object recognition to identify the corre...
142
click to vote
AIML
2006
15 years 6 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...