1438 search results - page 203 / 288 » An Expressive Extension of TLC |
143
click to vote
SPIRE
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a generalization of the notion of longest repeats with a block of k don’t care symbols introduced by [8] (for k fixed) to longest motifs composed of three pa...
194
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
143
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Bilingual term lists are extensively used as a resource for dictionary-based Cross-Language Information Retrieval (CLIR), in which the goal is to find documents written in one na...
158
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Contract and rights management – and thus property rights protection – has gained increasing importance as a quality standard in brokerage and electronic commerce environments...