Sciweavers

10916 search results - page 168 / 2184
» On Constructive Connectives and Systems
Sort
View
IEEESCC
2005
IEEE
16 years 4 days ago
An Investigation on Service-Oriented Architecture for Constructing Distributed Web GIS Application
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
Xiaolin Lu
ISPD
2003
ACM
88views Hardware» more  ISPD 2003»
15 years 11 months ago
Porosity aware buffered steiner tree construction
— In order to achieve timing closure on increasingly complex IC designs, buffer insertion needs to be performed on thousands of nets within an integrated physical synthesis syste...
Charles J. Alpert, Gopal Gandham, Milos Hrkic, Jia...
NECO
1998
168views more  NECO 1998»
15 years 6 months ago
Constructive Incremental Learning from Only Local Information
We introduce a constructive, incremental learning system for regression problems that models data by means of spatially localized linear models. In contrast to other approaches, t...
Stefan Schaal, Christopher G. Atkeson
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
15 years 12 months ago
Constructing Polymorphic Programs with Quotient Types
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
16 years 5 days ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...