Sciweavers

2028 search results - page 126 / 406
» Deriving Relation Keys from XML Keys
Sort
View
ICMCS
2008
IEEE
150views Multimedia» more  ICMCS 2008»
15 years 11 months ago
Parallel model combination and word recognition in soccer audio
The audio scene from broadcast soccer can be used for identifying highlights from the game. Audio cues derived from these sources provide valuable information about game events, a...
Jack H. Longton, Philip J. B. Jackson
IWPC
2003
IEEE
15 years 9 months ago
Observing and Measuring Cognitive Support: Steps Toward Systematic Tool Evaluation and Engineering
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
Andrew Walenstein
CADE
2006
Springer
16 years 4 months ago
Dynamic Logic with Non-rigid Functions
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
Bernhard Beckert, André Platzer
WISTP
2009
Springer
15 years 11 months ago
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card
Abstract. In this paper we report on the performance of the RSA variants of Brands protocols for zero-knowledge proof and restrictive blinded issuing [1]. The performance is relati...
Hendrik Tews, Bart Jacobs
FM
2009
Springer
101views Formal Methods» more  FM 2009»
15 years 9 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...