Sciweavers

3116 search results - page 80 / 624
» Positively dependent types
Sort
View
ITCC
2005
IEEE
15 years 9 months ago
Using Formal Concept Analysis to Establish Model Dependencies
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
Igor Ivkovic, Kostas Kontogiannis
IJCNLP
2005
Springer
15 years 9 months ago
Using a Partially Annotated Corpus to Build a Dependency Parser for Japanese
Abstract. We explore the use of a partially annotated corpus to build a dependency parser for Japanese. We examine two types of partially annotated corpora. It is found that a pars...
Manabu Sassano
147
Voted
SERA
2005
Springer
15 years 9 months ago
Bridging the Gap between Analysis and Design Using Dependency Diagrams
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
Simona Vasilache, Jiro Tanaka
WECWIS
2003
IEEE
85views ECommerce» more  WECWIS 2003»
15 years 9 months ago
A Tractable Mechanism for Time Dependent Markets
Markets with time dependent goods are special cases of multi commodity markets.The design of large flexible markets with time dependent goods is a computational challenge. In thi...
Per Carlsson, Arne Andersson, Fredrik Ygge
INFOCOM
1997
IEEE
15 years 8 months ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester