4693 search results - page 552 / 939 » Verifying Hybrid Systems |
180
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
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...
151
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
250
click to vote
VLDB
2005
ACM
16 years 13 days ago
2005
ACM
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...
233
click to vote
AMTA
2004
Springer
16 years 11 days ago
2004
Springer
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...
166
click to vote
WORDS
2003
IEEE
16 years 6 days ago
2003
IEEE
Multicasting is an effective method to guarantee scalability of data transfer. Multicast applications range from the relief of Internet hot spots to healthcare alert systems. Much...