Sciweavers

1967 search results - page 176 / 394
» The Case for Determinism in Database Systems
Sort
View
ISEMANTICS
2010
15 years 8 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
TITB
2010
111views Education» more  TITB 2010»
15 years 1 months ago
ECG signal compression and classification algorithm with quad level vector for ECG holter system
An ECG signal processing method with quad level vector (QLV) is proposed for the ECG holter system. The ECG processing consists of the compression flow and the classification flow,...
Hyejung Kim, Refet Firat Yazicioglu, Patrick Merke...
IAT
2006
IEEE
16 years 18 days ago
Realising Common Knowledge Assumptions in Agent Auctions
Game theory is popular in agent systems for designing auctions with desirable properties. However, many of these properties will only hold if the game and its properties are commo...
Frank Guerin, Emmanuel M. Tadjouddine
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 6 months ago
Observable Graphs
An edge-colored directed graph is observable if an agent that moves along its edges is able to determine his position in the graph after a sufficiently long observation of the edge...
Raphael M. Jungers, Vincent D. Blondel
CIDR
2003
164views Algorithms» more  CIDR 2003»
15 years 8 months ago
Capacity Bound-free Web Warehouse
Web cache technologies have been developed as an extension of CPU cache, by modifying LRU (Least Recently Used) algorithms. Actually in web cache systems, we can use disks and ter...
Yahiko Kambayashi, Kai Cheng