244 search results - page 39 / 49 » Software Development Support for Ambient Assisted Living |
119
Voted
JUCS
2010
14 years 11 months ago
2010
: As multimedia contents are becoming widely used in ubiquitous computing environments among many application fields, e.g., education, entertainment, and live surveillance, the dem...
100
click to vote
ASE
2008
15 years 18 days ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
124
Voted
ESWA
2006
15 years 14 days ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
97
Voted
FLAIRS
2009
14 years 10 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
113
click to vote
IUI
2000
ACM
15 years 4 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...