Sciweavers

448 search results - page 6 / 90
» Cognitive Vision Systems: From Ideas to Specifications
Sort
View
CHARME
2001
Springer
136views Hardware» more  CHARME 2001»
15 years 4 months ago
Deriving Real-Time Programs from Duration Calculus Specifications
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
François Siewe, Dang Van Hung
127
Voted
SPIESR
2001
160views Database» more  SPIESR 2001»
15 years 1 months ago
New frontiers for intelligent content-based retrieval
In this paper, we examine emerging frontiers in the evolution of content-based retrieval systems that rely on an intelligent infrastructure. Here, we refer to intelligence as the ...
Ana B. Benitez, John R. Smith
AAAI
2006
15 years 1 months ago
Multimodal Cognitive Architecture: Making Perception More Central to Intelligent Behavior
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
B. Chandrasekaran
97
Voted
ICSE
1995
IEEE-ACM
15 years 3 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
AIM
2006
15 years 12 days ago
Companion Cognitive Systems: A Step towards Human-Level AI
We are developing Companion Cognitive Systems, a new kind of software that can be effectively treated as a collaborator. Aside from their potential utility, we believe this effort...
Kenneth D. Forbus, Thomas R. Hinrichs