Sciweavers

4498 search results - page 266 / 900
» How to Invent Functions
Sort
View
PKDD
2005
Springer
96views Data Mining» more  PKDD 2005»
15 years 10 months ago
Testing Theories in Particle Physics Using Maximum Likelihood and Adaptive Bin Allocation
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
Bruce Knuteson, Ricardo Vilalta
TEAA
2005
Springer
126views Hardware» more  TEAA 2005»
15 years 10 months ago
Towards a Secure Data Stream Management System
Abstract. Todays data stream management systems (DSMSs) lack security functionality. Based on adversary scenarios we show how a DSMS architecture can be protected. We sketch a gene...
Wolfgang Lindner, Jörg Meier
ESAW
2004
Springer
15 years 10 months ago
Organizations as Socially Constructed Agents in the Agent Oriented Paradigm
Abstract. In this paper we propose a new role for the agent metaphor in the definition of the organizational structure of multiagent systems. The agent metaphor is extended to cons...
Guido Boella, Leendert W. N. van der Torre
FOSSACS
2004
Springer
15 years 10 months ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
ICWE
2004
Springer
15 years 10 months ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...