2409 search results - page 142 / 482 » Logical systems for structured specifications |
153
click to vote
ADBIS
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
169
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
206
click to vote
NAACL
2004
15 years 7 months ago
2004
The regular occurrence of disfluencies is a distinguishing characteristic of spontaneous speech. Detecting and removing such disfluencies can substantially improve the usefulness ...
178
click to vote
ISCI
2006
15 years 6 months ago
2006
We investigate the effectiveness of GP-generated intelligent structures in classification tasks. Specifically, we present and use four context-free grammars to describe (1) decisi...
155
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...