Sciweavers

160 search results - page 19 / 32
» re 2007
Sort
View
PLANX
2008
13 years 9 months ago
Linear Time Membership for a Class of XML Types with Interleaving and Counting
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
AML
1998
60views more  AML 1998»
13 years 7 months ago
A restricted computation model on Scott domains and its partial primitive recursive functionals
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
Karl-Heinz Niggl
BC
1999
59views more  BC 1999»
13 years 7 months ago
Early detection of upper airway obstructions by analysis of acoustical respiratory input impedance
Repetitive occurrence of partial or total upper airway obstruction characterizes several respiratory dysfunctions such as the obstructive sleep apnea syndrome (OSAS). In OSAS patie...
S. Reisch, Holger Steltner, Jens Timmer, C. Renott...
ER
2007
Springer
146views Database» more  ER 2007»
13 years 11 months ago
Achieving, Satisficing, and Excelling
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...
CTW
2007
95views more  CTW 2007»
13 years 7 months ago
Sensemaking, safety, and cooperative work in the intensive care unit
Abstract Making sense of circumstances and situations is critical to coordinate cooperative work. Especially in process control domains, we may expect that effective and reliable o...
Sara Albolino, Richard Cook, Michael O'Connor