6167 search results - page 947 / 1234 » Can Refinement be Automated |
148
click to vote
MOBISYS
2007
ACM
16 years 4 months ago
2007
ACM
An algorithm has been developed to automatically construct individual models of normal activity within a home using motion sensor data. Alerts can be generated when a period of in...
152
click to vote
DCC
2008
IEEE
16 years 4 months ago
2008
IEEE
A fully automated architecture for object-based region of interest (ROI) detection is proposed. ROI's are defined as regions containing user defined objects of interest, and ...
131
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
144
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Process Mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms...
121
click to vote
ECIR
2009
Springer
16 years 1 months ago
2009
Springer
Synchronous Collaborative Information Retrieval refers to systems that support multiple users searching together at the same time in order to satisfy a shared information need. To ...