7206 search results - page 1032 / 1442 » Using a Hypermedia System for Systems Engineering |
149
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
140
Voted
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
With the growing amount of information being digitized, users find it difficult to obtain the most relevant information that is hidden in the deluge of information returned to the...
149
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
169
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Internet services like the world-wide web and multimedia applications like News- and Video-on-Demand have become very popular over the last years. Due to the large number of users ...
178
click to vote
FGR
2002
IEEE
15 years 11 months ago
2002
IEEE
Facial expression recognition is necessary for designing any realistic human-machine interfaces. Previous published facial expression recognition systems achieve good recognition ...