Sciweavers

301 search results - page 23 / 61
» A Framework for Analyzing Texture Descriptors
Sort
View
HYBRID
2010
Springer
14 years 2 months ago
Stabilization of planar switched linear systems using polar coordinates
Analysis of stability and stabilizability of switched linear systems is a well-researched topic. This article pursues a polar coordinate approach which offers a convenient framew...
Andrew B. Godbehere, Shankar S. Sastry
ACMICEC
2007
ACM
114views ECommerce» more  ACMICEC 2007»
13 years 11 months ago
A service system design approach for ITV banking
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...
Els vandekar, Jessica Groeneweg
CAV
2007
Springer
104views Hardware» more  CAV 2007»
14 years 1 months ago
Revamping TVLA: Making Parametric Shape Analysis Competitive
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly ...
CIKM
2008
Springer
13 years 9 months ago
Characterizing and predicting community members from evolutionary and heterogeneous networks
Mining different types of communities from web data have attracted a lot of research efforts in recent years. However, none of the existing community mining techniques has taken i...
Qiankun Zhao, Sourav S. Bhowmick, Xin Zheng, Kai Y...
ATAL
2005
Springer
14 years 1 months ago
What kind of argument are we going to have today?
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
Eva Cogan, Simon Parsons, Peter McBurney