Sciweavers

3706 search results - page 328 / 742
» KtSeqC: System Description
Sort
View
EGOV
2004
Springer
16 years 6 days ago
Encoding of Public Records and Procedures in Electronic Registries
An electronic registry is the main mechanism for the official distribution of public records, which are created within the framework of administrative procedures and business trans...
Georgia Prokopiadou, Christos Papatheodorou, Diony...
GISCIENCE
2004
Springer
101views GIS» more  GISCIENCE 2004»
16 years 6 days ago
Modeling Surface Hydrology Concepts with Endurance and Perdurance
Abstract. Integration of GIS and hydrologic models has been a common approach for monitoring our ever-changing hydrologic system. One important issue in adapting such an approach i...
Chen-Chieh Feng, Thomas Bittner, Douglas M. Flewel...
176
Voted
LCPC
2004
Springer
16 years 5 days ago
Trimaran: An Infrastructure for Research in Instruction-Level Parallelism
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
Lakshmi N. Chakrapani, John C. Gyllenhaal, Wen-mei...
MKM
2004
Springer
16 years 5 days ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
NMR
2004
Springer
16 years 5 days ago
Generalizing the AGM postulates: preliminary results and applications
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
Giorgos Flouris, Dimitris Plexousakis, Grigoris An...