• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,796
Next 10 →

Incremental Validity

by Reinhard Eher, Anna Matthes, Frank Schilling, Tanja Haubner-maclean, Martin Rettenberger , 2012
"... The predictive accuracy of STABLE-2000 and STABLE-2007 was examined within a prospective research design in a German-speaking sample of 263 adult male prison-released sexual offenders followed up for an average of 6.4 years. The STABLE-2007 was significantly related to all outcomes (AUC = 0.67-0.71) ..."
Abstract - Add to MetaCart
.67-0.71), whereas the STABLE-2000 demonstrated only weak predictive accuracy for sexual reoffense (AUC = 0.62). Supporting the results of the construction sample, the STABLE-2007 incrementally added to the predictive accuracy of the STATIC-99 for violent and general reoffense (conviction and incarceration

and Incremental Validity

by David Watson, Michael Chmielewski, Elizabeth A Mcdade-montez, See Profile, David Watson, Michael W. O’hara, Michael Chmielewski, Kristin Naragon, Scott Stuart
"... All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately. ..."
Abstract - Add to MetaCart
All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately.

Incremental Validity

by Dwayne Norris, Daniel Kuang, Rachel Day, Kimberly Adams, Dwayne Norris, Daniel Kuang, Rachel Day, Kimberly Adams , 2006
"... Institutes for Research (AIR). Scott Oppler is chief methodologist at AIR. Daniel Kuang is a research scientist at AIR. Rachel Day is a research scientist at AIR. Kimberly Adams is senior research scientist at AIR. Researchers are encouraged to freely express their professional judgment. Therefore, ..."
Abstract - Add to MetaCart
Institutes for Research (AIR). Scott Oppler is chief methodologist at AIR. Daniel Kuang is a research scientist at AIR. Rachel Day is a research scientist at AIR. Kimberly Adams is senior research scientist at AIR. Researchers are encouraged to freely express their professional judgment. Therefore, points of view or opinions stated in College Board Reports do not necessarily represent official College Board position or policy. The College Board: Connecting Students to College Success The College Board is a not-for-profit membership association whose mission is to connect students to college success and opportunity. Founded in 1900, the association is composed of more than 5,000 schools, colleges, universities, and other educational organizations. Each year, the College Board serves seven million students and their parents, 23,000 high schools, and 3,500 colleges through major programs and services in college admissions, guidance, assessment, financial aid, enrollment, and teaching and learning. Among its best-known programs are the SAT®, the PSAT/NMSQT®, and the Advanced Placement Program® (AP®). The College Board is committed to the principles of excellence and equity, and that commitment is embodied in all of its programs, services, activities, and concerns.

Incremental Validation of XML Documents

by Andrey Balmin, Yannis Papakonstantinou, Victor Vianu - ACM Transactions on Database Systems , 2004
"... We investigate the incremental validation of XML documents with respect to DTDs, specialized DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs are modeled as extended context-free grammars. “Specialized DTDs ” allow the decoupling of element type ..."
Abstract - Cited by 42 (0 self) - Add to MetaCart
We investigate the incremental validation of XML documents with respect to DTDs, specialized DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs are modeled as extended context-free grammars. “Specialized DTDs ” allow the decoupling of element

Incremental Validation of XML Documents

by Yannis Papakonstantinou, et al.
"... We investigate the incremental validation of XML documents with respect to DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs are modeled as extended context-free grammars and XML Schemas are abstracted as "specialized DTDs", allowing to ..."
Abstract - Cited by 31 (2 self) - Add to MetaCart
We investigate the incremental validation of XML documents with respect to DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs are modeled as extended context-free grammars and XML Schemas are abstracted as "specialized DTDs", allowing

Efficient Incremental Validation of XML Documents

by Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas - In ICDE , 2004
"... We discuss incremental validation of XML documents with respect to DTDs and XML Schema definitions. We consider insertions and deletions of subtrees, as opposed to leaf nodes only, and we also consider the validation of ID and IDREF attributes. For arbitrary schemas, we give a worstcase time an ..."
Abstract - Cited by 39 (2 self) - Add to MetaCart
We discuss incremental validation of XML documents with respect to DTDs and XML Schema definitions. We consider insertions and deletions of subtrees, as opposed to leaf nodes only, and we also consider the validation of ID and IDREF attributes. For arbitrary schemas, we give a worstcase time

Integrating Correction into Incremental Validation

by Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld, Ferrari Agata Savary
"... Abstract Many data on the Web are XML documents. An XML document is an unranked labelled tree. A schema for XML documents (for instance a DTD) is the specification of their internal structure: a schema is a tree grammar, and validating a document w.r.t. a schema is done by a running of a tree automa ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
automaton. Given a document, valid w.r.t. a DTD, and a sequence of updates (insertions, deletions and replacements of subtrees), we first recall how we incrementally check the validity of the resulting document. Indeed, updating a valid document requires re-checking the parts of the document concerned

Updates and Incremental Validation of XML Documents

by Béatrice Bouchou, Mírian Halfeld, Ferrari Alves - In 9th International Workshop on Database Programming Languages , 2003
"... We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the new document still conforms to the imposed constraints. Incremental validation of updates leads to significant savings on c ..."
Abstract - Cited by 14 (1 self) - Add to MetaCart
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the new document still conforms to the imposed constraints. Incremental validation of updates leads to significant savings

70556 Incremental Validity of Numerical Reasoning

by Kingsley C. Ejiogu, Mark Rose, Zhiming Yang, John Trent
"... over Critical Thinking This study was conducted to evaluate the incremental validity of numerical reasoning over critical thinking in predicting job performance and overall potential as measured by supervisors ’ ratings. Results indicated significant incremental validity of numerical reasoning over ..."
Abstract - Add to MetaCart
over Critical Thinking This study was conducted to evaluate the incremental validity of numerical reasoning over critical thinking in predicting job performance and overall potential as measured by supervisors ’ ratings. Results indicated significant incremental validity of numerical reasoning over

Incremental Validation of Real-Time Systems

by unknown authors
"... Abstract: Real-time embedded systems are used in highly important or even vital tasks (avionic and medical systems, etc.), thus having strict temporal constraints that need to be validated. Existing solutions use temporal logic, automata or scheduling techniques. However, scheduling techniques are o ..."
Abstract - Add to MetaCart
Abstract: Real-time embedded systems are used in highly important or even vital tasks (avionic and medical systems, etc.), thus having strict temporal constraints that need to be validated. Existing solutions use temporal logic, automata or scheduling techniques. However, scheduling techniques
Next 10 →
Results 1 - 10 of 1,796
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University