10038 search results - page 1682 / 2008 » Model Checking for Managers |
166
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Motivated by the commonly used faceted search interface in e-commerce, this paper investigates interactive relevance feedback mechanism based on faceted document metadata. In this...
144
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
We present a study of the degree to which annotations overlap when several researchers read the same set of scientific articles. Our objective is to determine whether there is suf...
176
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
182
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
An ad-hoc network of wireless nodes is a temporarily formed network, created, operated and managed by the nodes themselves. It is also often termed an infrastructure-less, self-or...
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...