Sciweavers

1401 search results - page 106 / 281
» Literate Ontology Development
Sort
View

Book
639views
15 years 8 months ago
Making TeX Work
"TeX is a tool for creating professional quality, typeset pages of any kind. It is particularly good, perhaps unsurpassed, at typesetting mathematics ; as a result, it is wide...
NormanWalsh
DAC
1999
ACM
14 years 11 months ago
Optimization-Intensive Watermarking Techniques for Decision Problems
Recently, a number of watermarking-based intellectual property protection techniques have been proposed. Although they have been applied to different stages in the design process ...
Gang Qu, Jennifer L. Wong, Miodrag Potkonjak
CBMS
2006
IEEE
14 years 4 months ago
Using the Morphology of the Photoplethysmogram Envelope to Automatically Detect Hypovolemia
There currently is no clinically accepted noninvasive technique for detecting moderate blood loss. Clinicians instead normally rely on lagging indicators such as blood pressure an...
Stephen Paul Linder, Suzanne Wendelken
SAC
2010
ACM
14 years 3 months ago
Chemical-inspired self-composition of competing services
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
Mirko Viroli, Matteo Casadei
ITC
1999
IEEE
105views Hardware» more  ITC 1999»
14 years 2 months ago
Finite state machine synthesis with concurrent error detection
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...
Chaohuang Zeng, Nirmal R. Saxena, Edward J. McClus...