Sciweavers

3352 search results - page 93 / 671
» Complex Data Integration Based on a Multi-agent System
Sort
View
PLDI
2009
ACM
16 years 4 months ago
An integrated proof language for imperative programs
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
Karen Zee, Viktor Kuncak, Martin C. Rinard
JNCA
2006
114views more  JNCA 2006»
15 years 3 months ago
An evolutionary approach to prototyping pedagogical agents: from simulation to integrated system
We have developed and integrated software agents with two educational groupware systems (TeamWave Workplace and FLE), using evolutionary prototyping and empiricalbased design as d...
Anders I. Mørch, Jan A. Dolonen, Jan Eirik ...
133
Voted
IPPS
2006
IEEE
15 years 9 months ago
Reducing reconfiguration time of reconfigurable computing systems in integrated temporal partitioning and physical design framew
In reconfigurable systems, reconfiguration latency is a very important factor impact the system performance. In this paper, a framework is proposed that integrates the temporal pa...
Farhad Mehdipour, Morteza Saheb Zamani, H. R. Ahma...
EURODAC
1994
IEEE
112views VHDL» more  EURODAC 1994»
15 years 7 months ago
The use of semantic information for control of a complex routing tool
To handle increasingly complex design data, CAD tools are becoming more specialised and complex and hence, more difficult to use. This paper describes an interactive system that h...
Michael Brown, Nick Filer, Zahir Moosa
173
Voted
ICWE
2010
Springer
15 years 1 months ago
Association-Rules-Based Recommender System for Personalization in Adaptive Web-Based Applications
Personalization systems based upon users' surfing behavior analysis imply three phases: data collection, pattern discovery and recommendation. Due to the dimension of log file...
Daniel Mican, Nicolae Tomai