Sciweavers

3458 search results - page 395 / 692
» Abstracting Control
Sort
View
LATA
2010
Springer
15 years 11 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza
VLSID
2009
IEEE
182views VLSI» more  VLSID 2009»
15 years 11 months ago
Fuzzy Logic Based Guidance to Graph Grammar Framework for Automated Analog Circuit Design
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
Angan Das, Ranga Vemuri
BIRTHDAY
2009
Springer
15 years 11 months ago
The KBMS Project and Beyond
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarak...
HYBRID
2009
Springer
15 years 11 months ago
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
Yizhar Or, Aaron D. Ames
DATE
2009
IEEE
101views Hardware» more  DATE 2009»
15 years 11 months ago
A monitor interconnect and support subsystem for multicore processors
Abstract— In many current SoCs, the architectural interface to onchip monitors is ad hoc and inefficient. In this paper, a new architectural approach which advocates the use of a...
Sailaja Madduri, Ramakrishna Vadlamani, Wayne Burl...