1026 search results - page 172 / 206 » Semantic Components for Timetabling |
124
click to vote
REX
1991
15 years 5 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
136
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
101
click to vote
EKAW
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we investigate unsupervised population of a biomedical ontology via information extraction from biomedical literature. Relationships in text seldom connect simple ent...
109
click to vote
DATESO
2007
15 years 3 months ago
2007
The task of similarity search in image databases has been studied for decades, while there have been many feature extraction techniques proposed. Among the mass of low-level techni...