Sciweavers

6455 search results - page 119 / 1291
» Research problems
Sort
View
EDBT
2006
ACM
111views Database» more  EDBT 2006»
16 years 6 months ago
BISON: Providing Business Information Analysis as a Service
In this paper, we present the architecture of a Business Information Analysis provisioning system, BISON. The system is built based on a functioning business information analysis ...
Hakan Hacigümüs, James Rhodes, Jeffrey T...
VSTTE
2005
Springer
15 years 11 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
LPNMR
2011
Springer
14 years 9 months ago
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
David Poole
BIRTHDAY
2008
Springer
15 years 8 months ago
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
Carlo Ghezzi, Paola Inverardi, Carlo Montangero
IEAAIE
2004
Springer
15 years 11 months ago
Development of an Android Robot for Studying Human-Robot Interaction
Abstract. Behavior or Appearance? This is fundamental problem in robot development. Namely, not only the behavior but also the appearance of a robot influences human-robot interact...
Takashi Minato, Michihiro Shimada, Hiroshi Ishigur...