Sciweavers

3073 search results - page 412 / 615
» Real World Verification
Sort
View
ADC
2005
Springer
183views Database» more  ADC 2005»
15 years 12 months ago
Discovering User Access Pattern Based on Probabilistic Latent Factor Model
There has been an increased demand for characterizing user access patterns using web mining techniques since the informative knowledge extracted from web server log files can not ...
Guandong Xu, Yanchun Zhang, Jiangang Ma, Xiaofang ...
AI
2005
Springer
15 years 12 months ago
ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems
The Agent Rescue Emergency Simulator (ARES) system provides a simplified rescue scenario similar to Robocup Rescue for use in the educational or research fields when evaluating m...
Jörg Denzinger, Jordan Kidney
AIED
2005
Springer
15 years 12 months ago
Technology at work to mediate collaborative scientific enquiry in the field
This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devic...
Hilary Smith, Rosemary Luckin, Geraldine Fitzpatri...
BERTINORO
2005
Springer
15 years 12 months ago
Self-Aware Software - Will It Become a Reality?
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent s...
Péter András, Bruce G Charlton
BPM
2005
Springer
141views Business» more  BPM 2005»
15 years 12 months ago
Towards a Framework for the Agile Mining of Business Processes
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
Barbara Weber, Manfred Reichert, Stefanie Rinderle...