2297 search results - page 195 / 460 » An Algorithm for Computing the Integral Closure |
103
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
140
click to vote
GRC
2005
IEEE
15 years 9 months ago
2005
IEEE
A new visualization tool, called "Visual Concept Explorer (VCE)", was developed to visualize concept relationships in bio-medical literatura VCE integrates Pathfinder Net...
140
Voted
CDB
2004
Springer
15 years 9 months ago
2004
Springer
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). We present here a nu...
97
Voted
NIME
2004
Springer
15 years 9 months ago
2004
Springer
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...
123
click to vote
ISVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we discuss the possibility of achieving onchip fault-tolerant communication based on a new communication paradigm called stochastic communication. Specifically, for...