Sciweavers

3823 search results - page 574 / 765
» Stability of Hybrid Systems
Sort
View
RR
2007
Springer
16 years 21 days ago
Decidability Under the Well-Founded Semantics
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...
DATE
2006
IEEE
92views Hardware» more  DATE 2006»
16 years 19 days ago
Priority scheduling in digital microfluidics-based biochips
Discrete droplet digital microfluidics-based biochips face problems similar to that in other VLSI CAD systems, but with new constraints and interrelations. We focus on one such pr...
Andrew J. Ricketts, Kevin M. Irick, Narayanan Vija...
ICDAR
2005
IEEE
16 years 5 days ago
Mode detection in on-line pen drawing and handwriting recognition
On-line pen input benefits greatly from mode detection when the user is in a free writing situation, where he is allowed to write, to draw, and to generate gestures. Mode detecti...
Don Willems, Stéphane Rossignol, Louis Vuur...
VLDB
2005
ACM
206views Database» more  VLDB 2005»
16 years 1 days ago
Native XML Support in DB2 Universal Database
The major relational database systems have been providing XML support for several years, predominantly by mapping XML to existing concepts such as LOBs or (object-)relational tabl...
Matthias Nicola, Bert Van der Linden
AMTA
2004
Springer
15 years 12 months ago
Multi-align: Combining Linguistic and Statistical Techniques to Improve Alignments for Adaptable MT
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
Necip Fazil Ayan, Bonnie J. Dorr, Nizar Habash