Sciweavers

10568 search results - page 247 / 2114
» Computer Intelligence and Formalization
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 9 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
WWW
2005
ACM
16 years 4 months ago
Analyzing online discussion for marketing intelligence
We present a system that gathers and analyzes online discussion as it relates to consumer products. Weblogs and online message boards provide forums that record the voice of the p...
Natalie S. Glance, Matthew Hurst, Kamal Nigam, Mat...
AGS
2009
Springer
15 years 10 months ago
Intelligent NPCs for Educational Role Play Game
Video games in general and educational role play games in particular would increase in believability if Non Player Characters reacted appropriately to the player’s actions. Reali...
Mei Yii Lim, João Dias, Ruth Aylett, Ana Pa...
87
Voted
ATAL
2007
Springer
15 years 9 months ago
Intelligent agent framework for order entry and management
This paper describes an agent system we have built to handle order entry and management issue in business computing and specialized in the telecommunication domain. Our system is ...
Thuc Duong Nguyen, Simon Thompson
ADHOCNOW
2005
Springer
15 years 8 months ago
An Intelligent Sensor Network for Oceanographic Data Acquisition
In this paper we describe the deployment of an offshore wireless sensor network and the lightweight intelligence that was integrated into the data acquisition and forwarding softwa...
Chris M. Roadknight, Antonio González, Laur...