1112 search results - page 142 / 223 » software 2002 |
142
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...
149
click to vote
ISB
2002
15 years 3 months ago
2002
Data Mining and Knowledge Discovery techniques proved to be efficient tools for variety of complex tasks in biology including DNA research. This paper presents implementation of th...
157
Voted
TCS
2002
15 years 3 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
122
click to vote
TITS
2002
15 years 2 months ago
2002
This paper describes the image processing techniques designed to localize the tracks of snowcats for the automation of transportation of goods and people during the Italian scienti...
111
click to vote
ISWC
2002
IEEE
15 years 8 months ago
2002
IEEE
A wearable situational awareness terminal (WearSAT) that provides text, graphics, and video to an astronaut via a near-eye display, and acts as a client on a wireless network, has...