10615 search results - page 1845 / 2123 » Dynamic topic models |
149
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the increasing investment on information technology (IT) and Web site features, it becomes crucial to measure reliably the impact of these characteristics on the overall qua...
149
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Growth in the IT outsourcing industry during the past ten years has been exceptional. In this study, we theorize about and analyze the growth patterns of IT outsourcing at the leve...
ICDS
2009
IEEE
15 years 11 months ago
2009
IEEE
The University of the Digital Society is based on interactions that facilitate learning in a new pragmatic context. Catalysts involved in the learning process replace the traditio...
109
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
123
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...