Sciweavers

2478 search results - page 73 / 496
» Quadtrees as an Abstract Domain
Sort
View
ISCAS
1994
IEEE
86views Hardware» more  ISCAS 1994»
14 years 4 days ago
Sign Haar Transform
Abstract: Modified sign Haar transform with sign Walsh-like structure is introduced in this article. This nonlinear transform converts binary/ternary vectors into digital spectral ...
Bogdan J. Falkowski, Susanto Rahardja
ACTA
2002
86views more  ACTA 2002»
13 years 8 months ago
Deriving and paraphrasing information grammars using object-oriented analysis models
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
Paul J. M. Frederiks, Theo P. van der Weide
AAMAS
2004
Springer
13 years 8 months ago
Challenges and Research Directions in Agent-Oriented Software Engineering
Abstract. Agent-based computing is a promising approach for developing applications in complex domains. However, despite the great deal of research in the area, a number of challen...
Franco Zambonelli, Andrea Omicini
ECIR
2011
Springer
12 years 11 months ago
Visual Exploration of Health Information for Children
Abstract. Children experience several difficulties retrieving information using current Information Retrieval (IR) systems. Particularly, children struggle to find the right keywo...
Frans van der Sluis, Sergio Duarte Torres, Djoerd ...
FM
2011
Springer
357views Formal Methods» more  FM 2011»
12 years 11 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund