Sciweavers

11168 search results - page 1573 / 2234
» Abstract State Processes
Sort
View
158
Voted
DATE
2010
IEEE
166views Hardware» more  DATE 2010»
15 years 11 months ago
A special-purpose compiler for look-up table and code generation for function evaluation
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
Yuanrui Zhang, Lanping Deng, Praveen Yedlapalli, S...
COOPIS
2002
IEEE
15 years 11 months ago
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
Boris Motik, Alexander Maedche, Raphael Volz
IEEEMSP
2002
IEEE
137views Multimedia» more  IEEEMSP 2002»
15 years 11 months ago
On the capacity of the reachback channel in wireless sensor networks
Abstract— We consider the problem of reachback communication in wireless sensor networks: multiple sensors are deployed on a field, and they collect local measurements of some r...
João Barros, Sergio D. Servetto
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
AISC
2010
Springer
15 years 11 months ago
Dimensions of Formality: A Case Study for MKM in Software Engineering
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
« Prev « First page 1573 / 2234 Last » Next »