Sciweavers

4767 search results - page 119 / 954
» Structures for Abstract Rewriting
Sort
View
MABS
1998
Springer
14 years 1 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»
14 years 1 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
14 years 3 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»
13 years 9 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
14 years 3 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