1931 search results - page 182 / 387 » Why we blog |
188
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves...
163
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Videotape has become one of the CHI community's most useful technologies: it allows us to analyze users' interactions with computers, prototype new interfaces, and prese...
163
click to vote
EXACT
2007
15 years 9 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
178
click to vote
WSC
2008
15 years 9 months ago
2008
Simulations often depend heavily on random numbers, yet the impact of random number generators is recognized seldom. The generation of random numbers for simulations is not trivia...
132
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When the same set of people interact frequently with one another, they grow to think more and more along the same lines, a phenomenon we call "collective cognitive convergenc...