Sciweavers

1622 search results - page 17 / 325
» A Collection of Definitions of Intelligence
Sort
View
AISC
2008
Springer
15 years 8 months ago
Logic-Free Reasoning in Isabelle/Isar
Traditionally a rigorous mathematical document consists of a sequence of definition
Stefan Berghofer, Makarius Wenzel
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
15 years 10 months ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira
CCIA
2009
Springer
15 years 7 months ago
Seeking Acronym Definitions: a Web-based Approach
Acronyms are widely used in many domains to abbreviate and stress important concepts. Due to its dynamicity and unbounded nature, manual attempts to compose a global scale reposito...
David Sánchez, David Isern
ACRI
2004
Springer
15 years 11 months ago
Improved Cell-DEVS Model Definition in CD++
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
Alejandro López, Gabriel A. Wainer
ICCV
2009
IEEE
16 years 11 months ago
Scene Categorization from Low Definition Video
In this paper we present a new method for categorizing video sequences capturing different scene classes. This can be seen as a generalization of previous work on scene classific...
Paritosh Gupta, Sai Sankalp Arrabolu, Mathew Brown...