2226 search results - page 263 / 446 » Pdk: The System and Its Language |
161
click to vote
NLDB
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. For many applications such as machine translation and bilingual information retrieval, the bilingual corpora play an important role in training the system. Because they a...
200
click to vote
APLAS
2004
ACM
16 years 1 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
169
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
191
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
179
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...