Sciweavers

6794 search results - page 1090 / 1359
» Semantics of Visual Languages
Sort
View
BIRTHDAY
2009
Springer
16 years 1 months ago
The KBMS Project and Beyond
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarak...
DBPL
2009
Springer
144views Database» more  DBPL 2009»
16 years 1 months ago
General Database Statistics Using Entropy Maximization
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
Raghav Kaushik, Christopher Ré, Dan Suciu
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
16 years 1 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
MKM
2009
Springer
16 years 1 months ago
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
Aleks Kissinger
PDCAT
2009
Springer
16 years 1 months ago
Supporting Partial Ordering with the Parallel Iterator
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen
« Prev « First page 1090 / 1359 Last » Next »