2035 search results - page 144 / 407 » On the complexity of stratified logics |
190
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
262
click to vote
ASC
2007
16 years 5 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...
166
click to vote
GLVLSI
2007
IEEE
16 years 22 days ago
2007
IEEE
Regularly structured design techniques can combat complexity on a variety of fronts. We present the Structured and Tuned Array Generation (STAG) design methodology, which provides...
174
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
174
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...