6047 search results - page 894 / 1210 » Modeling with Extend |
157
click to vote
IPM
2008
15 years 4 months ago
2008
Many machine learning technologies such as support vector machines, boosting, and neural networks have been applied to the ranking problem in information retrieval. However, since...
137
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
138
click to vote
AI
2004
Springer
15 years 3 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
131
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
168
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Tagged data is rapidly becoming more available on the World Wide Web. Web sites which populate tagging services offer a good way for Internet users to share their knowledge. An in...