5232 search results - page 219 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
162
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
163
click to vote
LCTRTS
2007
Springer
16 years 20 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
171
click to vote
UIST
2006
ACM
16 years 14 days ago
2006
ACM
Systems of connected appliances, such as home theaters and presentation rooms, are becoming commonplace in our homes and workplaces. These systems are often difficult to use, in p...
155
click to vote
AOSE
2007
Springer
16 years 21 days ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
223
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...