10038 search results - page 1780 / 2008 » Model Checking for Managers |
135
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
134
click to vote
ICALT
2006
IEEE
15 years 11 months ago
2006
IEEE
This study of the flow of online discussions examined how earlier messages affected later messages along five dimensions: (1) evaluations (agree, disagree, or unresponsive actions...
154
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
143
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Today’s model of networking primarily concentrates intelligence at the end hosts with the network itself offering a simple“best-effort”,“data agnostic” communication med...
157
click to vote
ICDIM
2006
IEEE
15 years 11 months ago
2006
IEEE
— We present three general approaches to detecting prototypical entities in a given taxonomy and apply them to a music information retrieval (MIR) problem. More precisely, we try...