Sciweavers

693 search results - page 118 / 139
» Integrating Organizational Requirements and Object Oriented ...
Sort
View
ICFEM
2004
Springer
15 years 5 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
15 years 5 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
107
Voted
CGF
1999
86views more  CGF 1999»
15 years 4 days ago
Generalized View-Dependent Simplification
We propose a technique for performing view-dependent geometry and topology simplifications for level-of-detailbased renderings of large models. The algorithm proceeds by preproces...
Jihad El-Sana, Amitabh Varshney
AGI
2011
14 years 4 months ago
Systematically Grounding Language through Vision in a Deep, Recurrent Neural Network
Human intelligence consists largely of the ability to recognize and exploit structural systematicity in the world, relating our senses simultaneously to each other and to our cogni...
Derek Monner, James A. Reggia
85
Voted
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
15 years 7 months ago
Multidimensional Analysis of RFID Data in Logistics
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
Henning Baars, Xuanpu Sun