9067 search results - page 1629 / 1814 » Adaptive Model Checking |
233
click to vote
ICALT
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper introduces a domain ontology to describe learning material that compose a course, capable of providing adaptive e-learning environments and reusable educational resourc...
187
click to vote
ICDM
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper, we propose a hybrid approach for automatic single-organ segmentation in Computed Tomography (CT) data. The approach consists of three stages: first, a probability i...
198
click to vote
ICMCS
2006
IEEE
16 years 28 days ago
2006
IEEE
Segmentation of foreground and background has been an important research problem arising out of many applications including video surveillance. A method commonly used for segmenta...
188
click to vote
IJCNN
2006
IEEE
16 years 28 days ago
2006
IEEE
—This paper presents a novel fuzzy logic based controller for a Static Compensator (STATCOM) connected to a power system. Type-II fuzzy systems are selected that enable the contr...
223
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we present a high fidelity and efficient emulation framework called TWINE, which combines the accuracy and realism of emulated and physical networks and the scala...