Search Sciweavers | Sciweavers

15792 search results - page 19 / 3159

» Computational Abstraction Steps

click to vote

HYBRID
1997
Springer

95views Control Systems» more HYBRID 1997»

On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps

13 years 11 months ago

Download dora.cwru.edu

Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...

Michael S. Branicky

claim paper

Read More »

click to vote

FASE
2010
Springer

163views Software Engineering» more FASE 2010»

Prescriptive Semantics for Big-Step Modelling Languages

14 years 2 months ago

Download www.cs.uwaterloo.ca

f abstraction, providing an eﬀective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...

Shahram Esmaeilsabzali, Nancy A. Day

claim paper

Read More »

click to vote

TSD
2009
Springer

125views Signal Processing» more TSD 2009»

Intraclausal Coordination and Clause Detection as a Preprocessing Step to Dependency Parsing

14 years 2 months ago

Download dis.ijs.si

Abstract. The impact of clause and intraclausal coordination detection to dependency parsing of Slovene is examined. New methods based on machine learning and heuristic rules are p...

Domen Marincic, Matjaz Gams, Tomaz Sef

claim paper

Read More »

click to vote

CHI
2009
ACM

109views Human Computer Interaction» more CHI 2009»

Baby steps: evaluation of a system to support record-keeping for parents of young children

14 years 8 months ago