Sciweavers

1580 search results - page 146 / 316
» Modules for Crosscutting Models
Sort
View
ASPDAC
2006
ACM
159views Hardware» more  ASPDAC 2006»
14 years 2 months ago
Compact thermal models for estimation of temperature-dependent power/performance in FinFET technology
: With technology scaling, elevated temperatures caused by increased power density create a critical bottleneck modulating the circuit operation. With the advent of FinFET technolo...
Aditya Bansal, Mesut Meterelliyoz, Siddharth Singh...
CA
1999
IEEE
14 years 12 days ago
Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans
This paper presents a simple and efficient method of modeling synthetic vision, memory, and learning for autonomous animated characters in real-time virtual environments. The mode...
James J. Kuffner Jr., Jean-Claude Latombe
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
14 years 10 days ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
ICRA
1993
IEEE
147views Robotics» more  ICRA 1993»
14 years 6 days ago
Towards Sonar Based Perception and Modelling for Unmanned Untethered Underwater Vehicles
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
B. Steer, J. Kloske, P. Garner, L. LeBlanc, S. Sch...
ERCIMDL
2007
Springer
114views Education» more  ERCIMDL 2007»
14 years 11 hour ago
Key Element-Context Model: An Approach to Efficient Web Metadata Maintenance
In this paper, we study the problem of maintaining metadata for open Web content. In digital libraries such as DLESE, NSDL and G-Portal, metadata records are created for some good ...
Ba-Quy Vuong, Ee-Peng Lim, Aixin Sun, Chew-Hung Ch...