Sciweavers

13895 search results - page 446 / 2779
» Exploring
Sort
View
AAAI
1994
15 years 8 months ago
Associative Memory in an Immune-Based System
The immune system offers to be a rich source of metaphors to guide the exploration of the notion of an adaptive system. We might define a class of systems which are inspired by, b...
C. J. Gibert, Tom Routen
ENTCS
2008
120views more  ENTCS 2008»
15 years 7 months ago
Separation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
Tony Hoare, Peter W. O'Hearn
ENVSOFT
2006
60views more  ENVSOFT 2006»
15 years 7 months ago
Interactive Ground Water (IGW)
IGW is a software environment for real-time 2D and 3D groundwater modeling. The software functions as a ``numerical laboratory'' in which the modeler can freely explore:...
Shu-Guang Li, Qun Liu
JOT
2008
125views more  JOT 2008»
15 years 7 months ago
On Web Search: Some Activities and Challenges
Internet search engines have become an indispensable part of everyday living and business today. Although the capabilities of Internet search engines are incrementally improving s...
Won Kim, Ok-Ran Jeong, Hyungsuk Ji, Sangwon Lee
AIEDAM
2004
96views more  AIEDAM 2004»
15 years 7 months ago
Learning while designing
: This paper reports on preliminary results of an explorative study of a protocol analysis of team learning while designing using in-situ data. Two measurement-based frameworks are...
Gourabmoy Nath, John S. Gero