Sciweavers

575 search results - page 32 / 115
» Towards Electrical, Integrated Implementations of SIMPL Syst...
Sort
View
AISC
2010
Springer
15 years 9 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...
ATAL
1999
Springer
15 years 8 months ago
Toward Team-Oriented Programming
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
David V. Pynadath, Milind Tambe, Nicolas Chauvat, ...
IJCAI
1989
15 years 5 months ago
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
Peter Shell, Jaime G. Carbonell
ATAL
2008
Springer
15 years 6 months ago
Dynamic scheduling of multi-media streams in home automation systems
A new trend in home automation is to integrate audio en video applications. However in current domotics systems, these are usually conFigured statically. We implemented a home aut...
Koen Vangheluwe, Wouter Souffriau, Katja Verbeeck,...
HICSS
2007
IEEE
119views Biometrics» more  HICSS 2007»
15 years 10 months ago
Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture
With the recent advances in mobile technologies and infrastructures, citizens start to demand for not just mobile but also ubiquitous access to e-government services. Further with...
Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleann...