2036 search results - page 212 / 408 » A generic type-and-effect system |
174
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
127
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
The design of future communication systems with high throughput demands will become a critical task, especially when sophisticated channel coding schemes have to be applied. LDPC ...
191
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Automatic systems are needed for audiovisual databases to efficiently index, browse, summarize and retrieve, because the amount of stored data is increasing tremendously. Historic...
167
click to vote
COMPSAC
2005
IEEE
16 years 23 days ago
2005
IEEE
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...
195
click to vote
ETFA
2005
IEEE
16 years 23 days ago
2005
IEEE
This article covers research work about unmanned helicopters that is being developed by the Portuguese SME IntRoSys, S.A. in the context of a generic project targeting the develop...