4290 search results - page 258 / 858 » Formal Approaches to Teamwork |
188
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
185
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
173
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...
156
click to vote
ESANN
2007
15 years 8 months ago
2007
Collaborative Filtering (CF) aims at finding patterns in a sparse matrix of contingency. It can be used for example to mine the ratings given by users on a set of items. In this p...
164
click to vote
ACL
2003
15 years 8 months ago
2003
We present a novel approach for finding discontinuities that outperforms previously published results on this task. Rather than using a deeper grammar formalism, our system combi...