Sciweavers

4767 search results - page 119 / 954
» Structures for Abstract Rewriting
Sort
View
MABS
1998
Springer
15 years 10 months ago
Dynamics of Internal and Global Structure through Linguistic Interactions
Abstract. Developmentof category structure in communicationis studied by a constructive approach. Individuals having a word relation matrix as their internal structure communicate ...
Takashi Hashimoto
ICCAD
1995
IEEE
144views Hardware» more  ICCAD 1995»
15 years 10 months ago
Background memory management for dynamic data structure intensive processing systems
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
Gjalt G. de Jong, Bill Lin, Carl Verdonck, Sven Wu...
GC
2004
Springer
15 years 11 months ago
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
Johannes Borgström, Uwe Nestmann, Luc Onana A...
IEE
2008
115views more  IEE 2008»
15 years 6 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
TSD
2005
Springer
15 years 11 months ago
Formal Prosodic Structures and Their Application in NLP
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...
Jan Romportl, Jindrich Matousek