Sciweavers

657 search results - page 105 / 132
» On the Identification of a Class of Linear Models
Sort
View
LOGCOM
2007
91views more  LOGCOM 2007»
14 years 9 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
ICDE
2011
IEEE
220views Database» more  ICDE 2011»
14 years 1 months ago
Generating test data for killing SQL mutants: A constraint-based approach
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep ...
TIP
2008
134views more  TIP 2008»
14 years 9 months ago
Higher Order SVD Analysis for Dynamic Texture Synthesis
Videos representing flames, water, smoke, etc. are often defined as dynamic textures: "textures" because they are characterized by redundant repetition of a pattern and &...
Roberto Costantini, Luciano Sbaiz, Sabine Süs...
CDC
2010
IEEE
140views Control Systems» more  CDC 2010»
14 years 4 months ago
A design solution to the problem of adaptive output regulation for nonlinear minimum-phase systems
We propose a solution to the problem of adaptive output regulation for nonlinear minimum-phase systems that does not rely upon conventional adaptation schemes to estimate the frequ...
Alberto Isidori, Lorenzo Marconi, Laurent Praly
WWW
2011
ACM
14 years 4 months ago
An expressive mechanism for auctions on the web
Auctions are widely used on the Web. Applications range from internet advertising to platforms such as eBay. In most of these applications the auctions in use are single/multi-ite...
Paul Dütting, Monika Henzinger, Ingmar Weber