533 search results - page 29 / 107 » Protocol synthesis from timed and structured specifications |
COLING
1996
14 years 10 months ago
1996
The paper describes a system which uses packed parser output directly to build semantic representations. More specifically, the system takes as input Packed Shared Forests in the ...
BMCBI
2007
14 years 9 months ago
2007
Background: Proteins that evolve from a common ancestor can change functionality over time, and it is important to be able identify residues that cause this change. In this paper ...
77
Voted
NN
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Voice quality has been defined as the characteristic auditory colouring of an individual's voice, derived from a variety of laryngeal and supralaryngeal features and...
SAT
2007
Springer
15 years 3 months ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
ICCAD
2007
IEEE
15 years 3 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...