3706 search results - page 142 / 742 » KtSeqC: System Description |
180
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
194
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
143
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Under Social Tagging Systems, a typical Web 2.0 application, users label digital data sources by using freely chosen textual descriptions (tags). Mining tag information r...
191
click to vote
JTRES
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes hardware methods, a lightweight and platform-independent scheme for linking real-time Java code to co-processors implemented using a hardware description lang...
135
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this article we focus on the presentation of the inner structure of the database for the Content-Based Image Retrieval (CBIR) system containing house images. The part devoted t...