Sciweavers

4726 search results - page 610 / 946
» Domain Modeling of Software Process Models
Sort
View
SEKE
1995
Springer
15 years 10 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis
FOSSACS
2008
Springer
15 years 8 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
TCBB
2011
15 years 1 months ago
Visual Exploration across Biomedical Databases
Abstract—Though biomedical research often draws on knowledge from a wide variety of fields, few visualization methods for biomedical data incorporate meaningful cross-database e...
Michael D. Lieberman, Sima Taheri, Huimin Guo, Fat...
CORR
2011
Springer
133views Education» more  CORR 2011»
14 years 10 months ago
Minimizing the sum of many rational functions
We consider the problem of globally minimizing the sum of many rational functions over a given compact semialgebraic set. The number of terms can be large (10 to 100), the degree ...
Florian Bugarin, Didier Henrion, Jean B. Lasserre
144
Voted
JURIX
2008
15 years 8 months ago
Concept and Context in Legal Information Retrieval
Abstract. There exist two broad approaches to information retrieval (IR) in the legal domain: those based on manual knowledge engineering (KE) and those based on natural language p...
K. Tamsin Maxwell, Burkhard Schafer