12774 search results - page 2404 / 2555 » A Framework for Proof Systems |
195
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
We address a specific enterprise document search scenario, where the information need is expressed in an elaborate manner. In our scenario, information needs are expressed using a...
206
click to vote
ALIFE
2005
15 years 6 months ago
2005
We present a new definition of the concept of representation for cognitive science that is based on a study of the origin of structures that are used to store memory in evolving sy...
184
click to vote
JCP
2007
15 years 6 months ago
2007
— Currently, context awareness is one of the main trends in distributed mobile computing environments. Against this background, the demand for more complex – and additionally l...
192
click to vote
JCP
2007
15 years 6 months ago
2007
—Embedded systems normally involve a combination of hardware and software resources designed to perform dedicated tasks. Such systems have widely crept into industrial control, a...
167
click to vote
JUCS
2007
15 years 6 months ago
2007
: Integration of heterogeneous information in the context of Internet becomes a key activity to enable a more organized and semantically meaningful access to data sources. As Inter...