Sciweavers

1366 search results - page 99 / 274
» Modularizing Contexted Constraints
Sort
View
AOSE
2004
Springer
15 years 4 months ago
An Agent Construction Model for Ubiquitous Computing Devices
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
Ronald Ashri, Michael Luck
ICMCS
2000
IEEE
108views Multimedia» more  ICMCS 2000»
15 years 3 months ago
Electronic Pan-Tilt-Zoom: A Solution for Intelligent Room Systems
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...
Mircea Nicolescu, Gérard G. Medioni
103
Voted
COMPLIFE
2006
Springer
15 years 3 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga
FMCAD
2004
Springer
15 years 3 months ago
A Functional Approach to the Formal Specification of Networks on Chip
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
Julien Schmaltz, Dominique Borrione
ECTEL
2008
Springer
15 years 1 months ago
Knowledge Practices Environment: Design and Application of Technology for Trialogical Learning
Current networked society present learners with challenges that cannot be sufficiently coped with in educational contexts that are characterized by transmission or participation ep...
Patrick Sins, Merja Bauters, Crina Damsa