4352 search results - page 80 / 871 » A Representation Theorem and Applications |
SDL
2001
15 years 2 months ago
2001
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
115
Voted
DELOS
2000
15 years 2 months ago
2000
In this short paper, the basic ideas behind a project on the application of Knowledge Representation formalisms and technologies for Conceptual Modelling and Query Management are ...
95
Voted
IPL
2007
15 years 20 days ago
2007
We consider an integer-subset representation problem motivated by a medical application in radiation therapy. We prove NP-completeness, derive nontrivial bounds, and report on the...
102
Voted
SYNASC
2006
IEEE
15 years 6 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
ICQNM
2007
IEEE
15 years 7 months ago
2007
IEEE
— From a geometric viewpoint, quantum nonlocality between two parties is represented as the difference of two convex bodies, namely the sets of possible results of classical and ...