Sciweavers

1588 search results - page 67 / 318
» The Intelligence Within
Sort
View
CSL
2009
Springer
15 years 6 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
ECTEL
2009
Springer
15 years 4 months ago
The Conceptual and Architectural Design of a System Supporting Exploratory Learning of Mathematics Generalisation
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
Darren Pearce, Alexandra Poulovassilis
MSS
2007
IEEE
80views Hardware» more  MSS 2007»
15 years 6 months ago
Design and Implementation of a Network Aware Object-based Tape Device
Data storage requirements have constantly evolved over time. In recent times, the rate of increase in volume of data has been exponential, partly because of regulations and partly...
Dingshan He, NagaPramod Mandagere, David Hung-Chan...
ATAL
2005
Springer
15 years 5 months ago
The use of emotions to create believable agents in a virtual environment
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...
Karthi Selvarajah, Debbie Richards
ATAL
2006
Springer
15 years 3 months ago
Toward an understanding of the impact of software personal assistants on human organizations
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
Steven Okamoto, Paul Scerri, Katia P. Sycara