1205 search results - page 180 / 241 » Program Extraction from Large Proof Developments |
103
click to vote
CARS
2001
15 years 2 months ago
2001
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
128
click to vote
JIPS
2006
15 years 1 months ago
2006
: Accurate and efficient monitoring of dynamically changing environments is one of the most important requirements for ubiquitous network environments. Ubiquitous computing provide...
TVLSI
2002
15 years 1 months ago
2002
Abstract--The use of "turbo codes" has been proposed for several applications, including the development of wireless systems, where highly reliable transmission is requir...
128
click to vote
NOMS
2010
IEEE
14 years 11 months ago
2010
IEEE
As IP telephony becomes a critical part of the enterprise network infrastructure, there is an increasing need for tools to help manage VoIP systems. In this paper, we introduce DA ...
107
click to vote
PDPTA
2010
14 years 11 months ago
2010
Abstract-- The success of Web Services as a tool to decouple and distribute different processes is beyond any doubt. On the one hand, their distributed nature makes them perfect to...