3229 search results - page 432 / 646 » The Theory of Timed Automata |
176
click to vote
ISBI
2006
IEEE
16 years 21 days ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...
158
click to vote
ITICSE
2006
ACM
16 years 19 days ago
2006
ACM
Computer graphics concepts have a high visual component. For that reason, teaching this subject should be enriched with the use of small applications showing concepts like near an...
179
click to vote
MM
2006
ACM
16 years 19 days ago
2006
ACM
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...
186
click to vote
COCOON
2005
Springer
16 years 6 days ago
2005
Springer
To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in gr...
194
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...