1999 search results - page 77 / 400 » Finding Reductions Automatically |
CCS
2008
ACM
14 years 12 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
TMI
2010
14 years 8 months ago
2010
— Intestinal motility assessment with video capsule endoscopy arises as a novel and challenging clinical fieldwork. This technique is based on the analysis of the patterns of in...
ACL
2009
14 years 7 months ago
2009
Manually annotated corpora are valuable but scarce resources, yet for many annotation tasks such as treebanking and sequence labeling there exist multiple corpora with different a...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Automatic music tagging is addressed by resorting to auditory temporal modulations and Parallel Factor Analysis 2 (PARAFAC2). The starting point is to represent each music recordi...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Recent HCI research shows a strong interest in task management systems (e.g. [19, 27]) that support the multitasked nature of information work [13]. These systems either require m...