192 search results - page 23 / 39 » Towards a Precise Semantics for Object-Oriented Modeling Tec... |
106
click to vote
TKDE
2010
14 years 10 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
110
click to vote
ITCC
2000
IEEE
15 years 4 months ago
2000
IEEE
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...
APAL
2010
14 years 12 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
WWW
2001
ACM
16 years 12 days ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
140
click to vote
SBMF
2010
Springer
14 years 6 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...