Sciweavers

13651 search results - page 439 / 2731
» Spectral analysis of data
Sort
View
VMCAI
2010
Springer
16 years 4 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
CSL
2009
Springer
16 years 1 months ago
Algorithmic Analysis of Array-Accessing Programs
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
Rajeev Alur, Pavol Cerný, Scott Weinstein
AUSDM
2007
Springer
121views Data Mining» more  AUSDM 2007»
16 years 1 months ago
Using Corpus Analysis to Inform Research into Opinion Detection in Blogs
Opinion detection research relies on labeled documents for training data, either by assumptions based on the document’s origin or by using human assessors to categorise the docu...
Deanna J. Osman, John Yearwood, Peter Vamplew
EUROPAR
2007
Springer
16 years 1 months ago
Analysis of a Kalman Approach for a Pedestrian Positioning System in Indoor Environments
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
Edith Pulido Herrera, Ricardo Quirós, Hanne...
ACSC
2005
IEEE
16 years 14 days ago
The Geodesic Self-Organizing Map and Its Error Analysis
The Self-Organizing Map (SOM) is one of the popular Artificial Neural Networks which is a useful in clustering and visualizing complex high dimensional data. Conventional SOMs are...
Yingxin Wu, Masahiro Takatsuka