Sciweavers

575 search results - page 32 / 115
» Towards Electrical, Integrated Implementations of SIMPL Syst...
Sort
View
AISC
2010
Springer
15 years 4 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 4 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 28 days 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 1 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 6 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...