904 search results - page 32 / 181 » Towards practical meta-querying |
ER
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
CONEXT
2007
ACM
13 years 11 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
AAAI
2008
13 years 10 months ago
2008
With the aim of fluency and efficiency in human-robot teams, we have developed a cognitive architecture based on the neuro-psychological principles of anticipation and perceptual ...
ECTEL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Knowledge work is performed in all occupations and across all industries. The level of similarity of knowledge work allows for designing supporting tools that can be wide...
IANDC
2010
13 years 5 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...