Sciweavers

6652 search results - page 1152 / 1331
» A perspective based approach to design
Sort
View
FASE
2005
Springer
16 years 45 min ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
HYBRID
2005
Springer
15 years 12 months ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
ISVC
2005
Springer
15 years 12 months ago
Real-Time Video Annotations for Augmented Reality
Augmented reality (AR) provides an intuitive user interface to present information in the context of the real world. A common application is to overlay screen-aligned annotations f...
Edward Rosten, Gerhard Reitmayr, Tom Drummond
KDD
2005
ACM
205views Data Mining» more  KDD 2005»
15 years 12 months ago
Feature bagging for outlier detection
Outlier detection has recently become an important problem in many industrial and financial applications. In this paper, a novel feature bagging approach for detecting outliers in...
Aleksandar Lazarevic, Vipin Kumar
MSN
2005
Springer
179views Sensor Networks» more  MSN 2005»
15 years 12 months ago
Coverage Analysis for Wireless Sensor Networks
The coverage problem in wireless sensor networks (WSNs) is to determine the number of active sensor nodes needed to cover the sensing area. The purpose is to extend the lifetime of...
Ming Liu, Jiannong Cao, Wei Lou, Lijun Chen 0006, ...
« Prev « First page 1152 / 1331 Last » Next »