Sciweavers

1755 search results - page 115 / 351
» Knowledge Representation in Process Engineering
Sort
View
COGSCI
2010
147views more  COGSCI 2010»
13 years 8 months ago
Beyond Core Knowledge: Natural Geometry
For many centuries, philosophers and scientists have pondered the origins and nature of human intuitions about the properties of points, lines, and figures on the Euclidean plane,...
Elizabeth S. Spelke, Sang Ah Lee, Véronique...
RE
2002
Springer
13 years 10 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
CODES
1998
IEEE
14 years 2 months ago
Combining multiple models of computation for scheduling and allocation
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jür...
IUI
2010
ACM
14 years 7 months ago
The RelFinder user interface: interactive exploration of relationships between objects of interest
Being aware of the relationships that exist between objects of interest is crucial in many situations. The RelFinder user interface helps to get an overview: Even large amounts of...
Steffen Lohmann, Philipp Heim, Timo Stegemann, J&u...
IUI
2005
ACM
14 years 4 months ago
ComicKit: acquiring story scripts using common sense feedback
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
Ryan Williams 0002, Barbara Barry, Push Singh