Sciweavers

2529 search results - page 382 / 506
» The Logical Structure of Binding
Sort
View
SEMWIKI
2008
134views Data Mining» more  SEMWIKI 2008»
15 years 7 months ago
A Real Semantic Web for Mathematics Deserves a Real Semantics
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, ...
MMNS
2004
89views Multimedia» more  MMNS 2004»
15 years 7 months ago
Automated Validation of Service Configuration on Network Devices
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...
WSC
2004
15 years 7 months ago
XML-Based Supply Chain Simulation Modeling
We describe a different approach to using XML to support the simulation modeling of supply chains. Instead of using XML to specify the simulation constructs, as most previous appr...
Dean C. Chatfield, Terry P. Harrison, Jack C. Hayy...
SEBD
2003
98views Database» more  SEBD 2003»
15 years 7 months ago
PAtterns for Next-generation DAtabase systems: preliminary results of the PANDA project
Nowadays, the vast volume of collected digital data obliges us to employ processing methods like pattern recognition and data mining in order to reduce the complexity of data manag...
Ilaria Bartolini, Elisa Bertino, Barbara Catania, ...
ROOM
2000
15 years 7 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum