4341 search results - page 450 / 869 » Quantitative Model checking |
146
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
174
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
Substantial financial and technological investments by private and public organizations have resulted in the delivery of the third generation mobile technologies, although the jou...
169
click to vote
ACMICEC
2004
ACM
16 years 8 days ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
193
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
192
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
The quantitative estimation of regional cardiac deformation from 3D image sequences has important clinical implications for the assessment of viability in the heart wall. Such esti...