13734 search results - page 2318 / 2747 » Abstractions of data types |
167
Voted
ICCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contempora...
192
click to vote
IEEESCC
2005
IEEE
16 years 11 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
234
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
164
click to vote
GFKL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Existing methods to text plagiarism analysis mainly base on “chunking”, a process of grouping a text into meaningful units each of which gets encoded by an integer nu...
216
click to vote
SG
2005
Springer
16 years 7 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...