Sciweavers

3238 search results - page 196 / 648
» Not Enough Points Is Enough
Sort
View
UML
2000
Springer
15 years 10 months ago
Supporting Several Levels of Restriction in the UML
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
Christian Heide Damm, Klaus Marius Hansen, Michael...
175
Voted
VISUAL
2000
Springer
15 years 10 months ago
Chinese Cursive Script Character Image Retrieval Based on an Integrated Probability Function
Abstract. Often in content-based image retrieval, a single image attribute may not have enough discriminative information for retrieval. On the other hand, when multiple features a...
Irwin King, Zhong Jin, David Yuk-Ming Chan
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
15 years 10 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
HICSS
1995
IEEE
101views Biometrics» more  HICSS 1995»
15 years 10 months ago
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
Rainer Weinreich, Reinhold Plösch
IWANN
1995
Springer
15 years 10 months ago
An Application of the Saturated Attractor Analysis to Three Typical Models
The saturated attractor analysis, an approach proposed first in [FP] for a comprehensive study of the dynamics of the Linsker model and then successfully applied to the dynamic li...
Jianfeng Feng, Brunello Tirozzi