3824 search results - page 567 / 765 » Geometry Constructions Language |
101
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
111
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
115
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
118
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
138
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of their structu...