10874 search results - page 289 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
222
click to vote
CIVR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
165
click to vote
ISVC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Computer assisted procedures play a key role in the improvement of surgical operations. The current techniques in simulation potentially lead to more accuracy, more safet...
178
click to vote
WEBI
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...
195
click to vote
ASWSD
2004
Springer
16 years 5 days ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
176
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...