Sciweavers

317 search results - page 22 / 64
» A PROLOG-based Approach to Representing and Querying Softwar...
Sort
View
ATAL
2008
Springer
14 years 11 months ago
Reusing models in multi-agent simulation with software components
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
Paulo Salem da Silva, Ana Cristina Vieira de Melo
AAAI
2008
15 years 2 days ago
Mining Translations of Web Queries from Web Click-through Data
Query translation for Cross-Lingual Information Retrieval (CLIR) has gained increasing attention in the research area. Previous work mainly used machine translation systems, bilin...
Rong Hu, Weizhu Chen, Jian Hu, Yansheng Lu, Zheng ...
SEFM
2007
IEEE
15 years 4 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
SEFM
2008
IEEE
15 years 4 months ago
Modelling Rational User Behaviour as Games between an Angel and a Demon
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
OTM
2009
Springer
15 years 4 months ago
The Constellation Query Language
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
Clifford Heath