Sciweavers

177 search results - page 14 / 36
» Deriving a Relationship from a Single Example
Sort
View
COCO
2006
Springer
97views Algorithms» more  COCO 2006»
13 years 11 months ago
A Duality between Clause Width and Clause Density for SAT
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
Chris Calabro, Russell Impagliazzo, Ramamohan Patu...
ET
1998
99views more  ET 1998»
13 years 7 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
AUTOMATICA
2007
75views more  AUTOMATICA 2007»
13 years 7 months ago
System theory for numerical analysis
Many numerical schemes can be suitably studied from a system theoretic point of view. This paper studies the relationship between the two disciplines, that is, numerical analysis ...
Kenji Kashima, Yutaka Yamamoto
AAAI
2006
13 years 9 months ago
Using Semantics to Identify Web Objects
Many common web tasks can be automated by algorithms that are able to identify web objects relevant to the user's needs. This paper presents a novel approach to web object id...
Nathanael Chambers, James F. Allen, Lucian Galescu...
BIRTHDAY
2008
Springer
13 years 9 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...