Sciweavers

2452 search results - page 332 / 491
» On Reduction of Lagrange Systems
Sort
View
AUTOMATICA
2008
139views more  AUTOMATICA 2008»
15 years 4 months ago
Structured low-rank approximation and its applications
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
Ivan Markovsky
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 4 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
ACTAC
2006
126views more  ACTAC 2006»
15 years 4 months ago
Named Entity Recognition for Hungarian Using Various Machine Learning Algorithms
In this paper we introduce a statistical Named Entity recognizer (NER) system for the Hungarian language. We examined three methods for identifying and disambiguating proper nouns...
Richárd Farkas, György Szarvas, Andr&a...
ENTCS
2006
140views more  ENTCS 2006»
15 years 4 months ago
Stochastic Ambient Calculus
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
Maria Grazia Vigliotti, Peter G. Harrison
COMCOM
2004
78views more  COMCOM 2004»
15 years 4 months ago
Wavelength assignment to lightpaths for minimal wavelength conversions in multihop WDM networks
In multihop wavelength division multiplexing systems, a connection between two communication nodes consists of one or more lightpaths. A wavelength conversion is required at the j...
Xiaohua Jia, David Hongwei Du, Xiao-Dong Hu, Deyin...