Sciweavers

1864 search results - page 282 / 373
» Formal topology and domains
Sort
View
CASCON
1996
134views Education» more  CASCON 1996»
13 years 10 months ago
Paradigm shift in software re-engineering: an experience report
Software re-engineering is one of the solutions advocated for the problems that are encountered during maintenance. The three major phases of a re-engineering process are (i) reve...
Kasilingam Periyasamy, C. Mathew
EGOV
2010
Springer
13 years 10 months ago
Designing Quality Business Processes for E-Government Digital Services
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...
Flavio Corradini, Damiano Falcioni, Andrea Polini,...
ATAL
2010
Springer
13 years 9 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...
BMCBI
2005
97views more  BMCBI 2005»
13 years 8 months ago
Sequence variation in ligand binding sites in proteins
Background: The recent explosion in the availability of complete genome sequences has led to the cataloging of tens of thousands of new proteins and putative proteins. Many of the...
Thomas J. Magliery, Lynne Regan
IDA
2000
Springer
13 years 8 months ago
Supervised model-based visualization of high-dimensional data
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...
Petri Kontkanen, Jussi Lahtinen, Petri Myllymä...