3804 search results - page 487 / 761 » From Here to There |
173
Voted
JSC
2008
15 years 6 months ago
2008
In this paper we study standard bases for submodules of K[[t1, . . . , tm]][x1, . . . , xn]s respectively of their localisation with respect to a t-local monomial ordering. The mai...
177
click to vote
DEDS
2007
15 years 6 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
175
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Low contrast in mammographic image has always made detection of subtle signs such as the presence of micro calcification within dense tissue a challenge. Therefore, numerous resear...
170
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper discusses a new solution to university course timetabling problems. The problems that belong to the NP-hard class are very difficult to solve using conventional optimiza...
232
Voted
ENTCS
2007
15 years 6 months ago
2007
Designing secure protocols over ad-hoc networks has proved to be a very challenging task, due to various features of such networks, such as partial connectivity, node mobility, an...