Sciweavers

1181 search results - page 136 / 237
» A New Definition of Creativity
Sort
View
CN
2004
104views more  CN 2004»
13 years 9 months ago
On detecting feature interactions in the programmable service environment of Internet telephony
This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope ...
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Ma...
CORR
2000
Springer
81views Education» more  CORR 2000»
13 years 8 months ago
Poly-locality in quantum computing
A polynomial depth quantum circuit affects, by definition, a poly-local unitary transformation of a tensor product state space. It is a reasonable belief [Fe], [L], [FKW] that, at ...
Michael H. Freedman
CSL
2002
Springer
13 years 8 months ago
On the Automatizability of Resolution and Related Propositional Proof Systems
A propositional proof system is automatizable if there is an algorithm that, given a tautology, produces a proof in time polynomial in the size of its smallest proof. This notion ...
Albert Atserias, Maria Luisa Bonet
DM
2002
92views more  DM 2002»
13 years 8 months ago
A local-global principle for vertex-isoperimetric problems
We consider the vertex-isoperimetric problem for cartesian powers of a graph G. A total order on the vertex set of G is called isoperimetric if the boundary of sets of a given siz...
Sergei L. Bezrukov, Oriol Serra
INFSOF
2000
77views more  INFSOF 2000»
13 years 8 months ago
Integration of functional, cognitive and quality requirements. A railways case study
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
Massimo Felici, Mark-Alexander Sujan, Maria Wimmer