1608 search results - page 48 / 322 » Functional Understanding Based on an Ontology of Functional ... |
CAISE
2006
Springer
14 years 23 days ago
2006
Springer
To create an understanding of enterprises and the ways they do business, a starting point could be to identify the main actors and the values transferred between them. Business mod...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
CIKM
2006
Springer
14 years 23 days ago
2006
Springer
In this paper, we explore the concept of a "library of brain images", which implies not only a repository of brain images, but also efficient search and retrieval mechan...
MATES
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Searching for information in large rather unstructured realworld data sets is a di cult task, because the user expects immediate responses as well as high-quality search ...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
Image annotation has been an active research topic in the recent years due to its potentially large impact on both image understanding and web/database image search. In this paper...