9443 search results - page 1458 / 1889 » Web-centric language models |
208
click to vote
SBACPAD
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
225
click to vote
TIME
2003
IEEE
16 years 5 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
193
click to vote
ECAL
2003
Springer
16 years 3 days ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
180
click to vote
ESOP
2003
Springer
16 years 3 days ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
189
click to vote
FASE
2003
Springer
16 years 3 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...