929 search results - page 88 / 186 » Computer assistance for model definition |
SAC
2010
ACM
14 years 11 months ago
2010
ACM
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
ECIR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
COMPUTING
2010
14 years 7 months ago
2010
In this paper, we introduce and analyze a modification of the Hermitian and skewHermitian splitting iteration method for solving a broad class of complex symmetric linear systems....
ISORC
2008
IEEE
15 years 4 months ago
2008
IEEE
The concept of a scenario has long been utilized in military procurement as a means of evaluating capability in an operational context. With the advent of initiatives such as the ...