Sciweavers

2890 search results - page 309 / 578
» A Multi-agent Model to Develop Knowledge Management Systems
Sort
View
154
Voted
TPHOL
1998
IEEE
15 years 7 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
FPL
2001
Springer
88views Hardware» more  FPL 2001»
15 years 8 months ago
FPGA-Based Discrete Wavelet Transforms System
Although FPGA technology offers the potential of designing high performance systems at low cost, its programming model is prohibitively low level. To allow a novice signal/image pr...
Mokhtar Nibouche, Ahmed Bouridane, Fionn Murtagh, ...
131
Voted
BMCBI
2004
123views more  BMCBI 2004»
15 years 3 months ago
A two-way interface between limited Systems Biology Markup Language and R
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
Tomas Radivoyevitch
116
Voted
TREC
2000
15 years 5 months ago
The PISAB Question Answering System
The PISAB Question Answering system is based on a combination of Information Extraction and Information Retrieval techniques. Knowledge extracted from documents is modeled as a se...
Giuseppe Attardi, Cristian Burrini
121
Voted
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 3 months ago
Spreadsheet modelling for solving combinatorial problems: The vendor selection problem
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
Pandelis G. Ipsilandis