1168 search results - page 111 / 234 » cases 2000 |
186
Voted
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
153
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We consider the problem of scheduling n independent jobs on m identical machines that operate in parallel. Each job has a controllable processing time. The fact that the jobs have...
121
Voted
ICCS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...
133
Voted
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
164
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present a novel algorithm for video scene segmentation. We model a scene as a semantically consistent chunk of audio-visual data. Central to the segmentation fram...