Sciweavers

1392 search results - page 248 / 279
» Semantic Analytics Visualization
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 5 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
HT
1987
ACM
15 years 5 months ago
Exploring Representation Problems Using Hypertext
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
Catherine C. Marshall
AAAI
2008
15 years 4 months ago
Artificial Intelligence Needs Open-Access Knowledgebase Contents
ar for abstract concepts, and a number of formally expressed, structural restrictions. Copyright c 2008, Association for the Advancement of Artificial Intelligence (www.aaai.org). ...
Erik Sandewall
BSL
2006
114views more  BSL 2006»
15 years 1 months ago
Schemata: The Concept of Schema in the History of Logic
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...
John Corcoran
CVPR
2009
IEEE
1084views Computer Vision» more  CVPR 2009»
16 years 9 months ago
Describing Objects by their Attributes
We propose to shift the goal of recognition from naming to describing. Doing so allows us not only to name familiar objects, but also: to report unusual aspects of a familiar ob...
Ali Farhadi, David A. Forsyth, Derek Hoiem, Ian En...