11381 search results - page 2113 / 2277 » Connectivity |
156
click to vote
EUROSSC
2006
Springer
15 years 7 months ago
2006
Springer
This paper introduces a new concept of information that can exist in a mobile environment with no fixed infrastructure and centralized servers, which we call the Hovering Informati...
131
click to vote
EWSA
2006
Springer
15 years 7 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
144
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
174
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
168
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we embed evolutionary computation into statistical learning theory. First, we outline the connection between large margin optimization and statistical learning and s...